@Test public void testGetName() { System.out.println("getName"); PreAndPostConditionsDescription instance = new PreAndPostConditionsDescription("name"); String expResult = "name"; String result = instance.getName(); assertEquals(expResult, result); }
@Override public String getName() { return this.name; }
PreAndPostConditionsDescription implements NameInterface { @Override public String getName() { return this.name; } }
PreAndPostConditionsDescription implements NameInterface { @Override public String getName() { return this.name; } PreAndPostConditionsDescription(String name);  PreAndPostConditionsDescription(String name, FormalPropertiesDescription preDescr,
            FormalPropertiesDescription postDescr);  PreAndPostConditionsDescription(String name,
            FormalPropertiesDescription preDescr,
            FormalPropertiesDescription postDescr, SymbolicVariableList symbolicVariableList); }
PreAndPostConditionsDescription implements NameInterface { @Override public String getName() { return this.name; } 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 String getName() { return this.name; } 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);  }