public StateBlock(int numVars, StateKind kind) { baseName = UniqueNumber.GetName("AA_TEMP"); this.vars = new TypedIdent[numVars]; decls = null; //idents = null; initialized = false; this.kind = kind; }
public static void NormalizeVariables(List <Variable> v1, List <Variable> v2) { int num = Math.Abs(v1.Count - v2.Count); Variable t; var longer = (v1.Count > v2.Count ? v1 : v2); var shorter = (v1 == longer ? v2 : v1); for (int i = 0; i < num; i++) { t = B.Factory.Copy(longer[longer.Count - 1 - i]); t.Name = UniqueNumber.GetName("AA_IN"); t.TypedIdent.Name = t.Name; shorter.Add(t); } }