@Test public void testAddSymbolicVariable() { System.out.println("addSymbolicVariable"); 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 void addSymbolicVariable(String id, InternalTypeContainer internalTypeContainer) { if (id != null && internalTypeContainer != null) { SymbolicVariable var = new SymbolicVariable(id, internalTypeContainer); symbolicVariableList.add(var); listenerList.forEach((listener) -> { listener.addedVar(var); }); } else { ErrorLogger.log("Tried to add a Variable without an id or without a type to a SymbolicVariableList"); } }
SymbolicVariableList { public synchronized void addSymbolicVariable(String id, InternalTypeContainer internalTypeContainer) { if (id != null && internalTypeContainer != null) { SymbolicVariable var = new SymbolicVariable(id, internalTypeContainer); symbolicVariableList.add(var); listenerList.forEach((listener) -> { listener.addedVar(var); }); } else { ErrorLogger.log("Tried to add a Variable without an id or without a type to a SymbolicVariableList"); } } }
SymbolicVariableList { public synchronized void addSymbolicVariable(String id, InternalTypeContainer internalTypeContainer) { if (id != null && internalTypeContainer != null) { SymbolicVariable var = new SymbolicVariable(id, internalTypeContainer); symbolicVariableList.add(var); listenerList.forEach((listener) -> { listener.addedVar(var); }); } else { ErrorLogger.log("Tried to add a Variable without an id or without a type to a SymbolicVariableList"); } } SymbolicVariableList(); }
SymbolicVariableList { public synchronized void addSymbolicVariable(String id, InternalTypeContainer internalTypeContainer) { if (id != null && internalTypeContainer != null) { SymbolicVariable var = new SymbolicVariable(id, internalTypeContainer); symbolicVariableList.add(var); listenerList.forEach((listener) -> { listener.addedVar(var); }); } else { ErrorLogger.log("Tried to add a Variable without an id or without a type to a 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 void addSymbolicVariable(String id, InternalTypeContainer internalTypeContainer) { if (id != null && internalTypeContainer != null) { SymbolicVariable var = new SymbolicVariable(id, internalTypeContainer); symbolicVariableList.add(var); listenerList.forEach((listener) -> { listener.addedVar(var); }); } else { ErrorLogger.log("Tried to add a Variable without an id or without a type to a 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);  }