StepDataBox.java 文件源码

/**
 * Enter in a procedure
 * 
 * @param procedure
 */
public void logEnter(Procedure procedure) {
    // check if the procedure has been already called
    if (!procedures.contains(procedure)) {
        HashMultiset<Variable> readVars = HashMultiset.create();
        procLoads.put(procedure, readVars);
        HashMultiset<Variable> writeVars = HashMultiset.create();
        procStores.put(procedure, writeVars);
        HashMultiset<EOperator> opCalls = HashMultiset.create();
        procOperators.put(procedure, opCalls);
        HashMultiset<Procedure> procCalls = HashMultiset.create();
        procProcedures.put(procedure, procCalls);
    }
    procedures.add(procedure);

    if (!proceduresStack.isEmpty()) {
        procProcedures.get(proceduresStack.getLast()).add(procedure);
    }
    proceduresStack.addLast(procedure);
}