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