/** * Adds a statemtn to the repository * @param stmt - type IStmt, statement to be added */ public void Add(IStmt stmt) { ProgState prg = new ProgState(new ArrayList <int>(), new ArrayDict <string, int>(), new ArrayStack <IStmt>(), new ArrayDict <int, int>()); prg.GetExe.Push(stmt); repo.AddState(prg); }