public void BindStaticVariableToNewRepresentation(IReference variable, string name, int[] initialData)
{
var terminalName = CreateTerminalName(name);
var label = new Label(terminalName);
var representation = new Static(staticVariableToInfo.Count, label, initialData);
staticVariableToInfo.CheckedAdd(variable, new StaticVariableInfo(terminalName, representation));
}
public void Add(IReference variable, LocalVariableInfo localVariableInfo)
{
variables.CheckedAdd(variable, localVariableInfo);
}
