@Test public void testSetNewName() { System.out.println("setNewName"); String newName = ""; PreAndPostConditionsDescription instance = new PreAndPostConditionsDescription("test"); instance.setNewName("test2"); assert (instance.getName().equals("test2")); }
@Override public void setNewName(String newName) { this.name = newName; }
PreAndPostConditionsDescription implements NameInterface { @Override public void setNewName(String newName) { this.name = newName; } }
PreAndPostConditionsDescription implements NameInterface { @Override public void setNewName(String newName) { this.name = newName; } PreAndPostConditionsDescription(String name);  PreAndPostConditionsDescription(String name, FormalPropertiesDescription preDescr,
            FormalPropertiesDescription postDescr);  PreAndPostConditionsDescription(String name,
            FormalPropertiesDescription preDescr,
            FormalPropertiesDescription postDescr, SymbolicVariableList symbolicVariableList); }
PreAndPostConditionsDescription implements NameInterface { @Override public void setNewName(String newName) { this.name = newName; } 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 { @Override public void setNewName(String newName) { this.name = newName; } 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);  }