@Test public void testSetPostConditionsDescription() { System.out.println("setPostConditionsDescription"); FormalPropertiesDescription post = new FormalPropertiesDescription("postTest"); PreAndPostConditionsDescription instance = new PreAndPostConditionsDescription("test"); instance.setPostConditionsDescription(post); FormalPropertiesDescription result = instance.getPostConditionsDescription(); assertEquals(post, result); }
public void setPostConditionsDescription(FormalPropertiesDescription postConditionsDescription) { this.postConditionsDescription = postConditionsDescription; }
PreAndPostConditionsDescription implements NameInterface { public void setPostConditionsDescription(FormalPropertiesDescription postConditionsDescription) { this.postConditionsDescription = postConditionsDescription; } }
PreAndPostConditionsDescription implements NameInterface { public void setPostConditionsDescription(FormalPropertiesDescription postConditionsDescription) { this.postConditionsDescription = postConditionsDescription; } PreAndPostConditionsDescription(String name);  PreAndPostConditionsDescription(String name, FormalPropertiesDescription preDescr,
            FormalPropertiesDescription postDescr);  PreAndPostConditionsDescription(String name,
            FormalPropertiesDescription preDescr,
            FormalPropertiesDescription postDescr, SymbolicVariableList symbolicVariableList); }
PreAndPostConditionsDescription implements NameInterface { public void setPostConditionsDescription(FormalPropertiesDescription postConditionsDescription) { this.postConditionsDescription = postConditionsDescription; } PreAndPostConditionsDescription(String name);  PreAndPostConditionsDescription(String name, FormalPropertiesDescription preDescr,
            FormalPropertiesDescription postDescr);  PreAndPostConditionsDescription(String name,
            FormalPropertiesDescription preDescr,
            FormalPropertiesDescription postDescr, SymbolicVariableList symbolicVariableList); @Override String getName(); List<SymbolicVariable> getSymbolicVariableList(); List<SymbolicVariable> getSymbolicVariablesCloned(); SymbolicVariableList getSymVarList(); void setSymbolicVariableList(SymbolicVariableList symbolicVariableList); FormalPropertiesDescription getPostConditionsDescription(); FormalPropertiesDescription getPreConditionsDescription(); void setPostConditionsDescription(FormalPropertiesDescription postConditionsDescription); void setPreConditionsDescription(FormalPropertiesDescription preConditionsDescription); @Override void setNewName(String newName); }
PreAndPostConditionsDescription implements NameInterface { public void setPostConditionsDescription(FormalPropertiesDescription postConditionsDescription) { this.postConditionsDescription = postConditionsDescription; } PreAndPostConditionsDescription(String name);  PreAndPostConditionsDescription(String name, FormalPropertiesDescription preDescr,
            FormalPropertiesDescription postDescr);  PreAndPostConditionsDescription(String name,
            FormalPropertiesDescription preDescr,
            FormalPropertiesDescription postDescr, SymbolicVariableList symbolicVariableList); @Override String getName(); List<SymbolicVariable> getSymbolicVariableList(); List<SymbolicVariable> getSymbolicVariablesCloned(); SymbolicVariableList getSymVarList(); void setSymbolicVariableList(SymbolicVariableList symbolicVariableList); FormalPropertiesDescription getPostConditionsDescription(); FormalPropertiesDescription getPreConditionsDescription(); void setPostConditionsDescription(FormalPropertiesDescription postConditionsDescription); void setPreConditionsDescription(FormalPropertiesDescription preConditionsDescription); @Override void setNewName(String newName);  }