@Test public void testGetSymbolicVariables() { System.out.println("getSymbolicVariables"); String id = "test"; InternalTypeContainer internalTypeContainer = new InternalTypeContainer(InternalTypeRep.INTEGER); SymbolicVariableList instance = new SymbolicVariableList(); instance.addSymbolicVariable(id, internalTypeContainer); assert (((LinkedList<SymbolicVariable>)instance.getSymbolicVariables()).getFirst().getInternalTypeContainer().getInternalType() == InternalTypeRep.INTEGER); assert (((LinkedList<SymbolicVariable>)instance.getSymbolicVariables()).getFirst().getId().equals("test")); }
public synchronized List<SymbolicVariable> getSymbolicVariables() { return symbolicVariableList; }
SymbolicVariableList { public synchronized List<SymbolicVariable> getSymbolicVariables() { return symbolicVariableList; } }
SymbolicVariableList { public synchronized List<SymbolicVariable> getSymbolicVariables() { return symbolicVariableList; } SymbolicVariableList(); }
SymbolicVariableList { public synchronized List<SymbolicVariable> getSymbolicVariables() { return symbolicVariableList; } SymbolicVariableList(); synchronized void addSymbolicVariable(String id, InternalTypeContainer internalTypeContainer); synchronized boolean isVarIDAllowed(String id); synchronized void setSymbolicVariableList(List<SymbolicVariable> symbolicVariableList); synchronized List<SymbolicVariable> getSymbolicVariables(); synchronized List<SymbolicVariable> getSymbolicVariablesCloned(); synchronized boolean removeSymbolicVariable(String id); synchronized void removeSymbolicVariable(int index); synchronized void addListener(VariableListListener listener); synchronized void removeListener(VariableListListener listener); }
SymbolicVariableList { public synchronized List<SymbolicVariable> getSymbolicVariables() { return symbolicVariableList; } SymbolicVariableList(); synchronized void addSymbolicVariable(String id, InternalTypeContainer internalTypeContainer); synchronized boolean isVarIDAllowed(String id); synchronized void setSymbolicVariableList(List<SymbolicVariable> symbolicVariableList); synchronized List<SymbolicVariable> getSymbolicVariables(); synchronized List<SymbolicVariable> getSymbolicVariablesCloned(); synchronized boolean removeSymbolicVariable(String id); synchronized void removeSymbolicVariable(int index); synchronized void addListener(VariableListListener listener); synchronized void removeListener(VariableListListener listener);  }