@Test public void testGetSymbolicVariableList() { System.out.println("getSymbolicVariableList"); SymbolicVariableList symbVarList = new SymbolicVariableList(); symbVarList.addSymbolicVariable("test", new InternalTypeContainer(InternalTypeRep.INTEGER)); PreAndPostConditionsDescription instance = new PreAndPostConditionsDescription("name", null, null, symbVarList); List<SymbolicVariable> result = instance.getSymbolicVariableList(); assertEquals(symbVarList.getSymbolicVariables().get(0), result.get(0)); }
public List<SymbolicVariable> getSymbolicVariableList() { return symbolicVariableList.getSymbolicVariables(); }
PreAndPostConditionsDescription implements NameInterface { public List<SymbolicVariable> getSymbolicVariableList() { return symbolicVariableList.getSymbolicVariables(); } }
PreAndPostConditionsDescription implements NameInterface { public List<SymbolicVariable> getSymbolicVariableList() { return symbolicVariableList.getSymbolicVariables(); } PreAndPostConditionsDescription(String name);  PreAndPostConditionsDescription(String name, FormalPropertiesDescription preDescr,
            FormalPropertiesDescription postDescr);  PreAndPostConditionsDescription(String name,
            FormalPropertiesDescription preDescr,
            FormalPropertiesDescription postDescr, SymbolicVariableList symbolicVariableList); }
PreAndPostConditionsDescription implements NameInterface { public List<SymbolicVariable> getSymbolicVariableList() { return symbolicVariableList.getSymbolicVariables(); } 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 List<SymbolicVariable> getSymbolicVariableList() { return symbolicVariableList.getSymbolicVariables(); } 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);  }