}
if (succSymbol.getType() == Type.CHECK_IN || succSymbol.getType() == Type.CHECK_OUT) {
eventList.add(new CheckEvent(succSymbol.getType() == Type.CHECK_IN));
}
if (succSymbol.getType() == Type.CLOSED_SELF_START || succSymbol.getType() == Type.CLOSED_SELF_END) {
eventList.add(new LateralStepEvent(closedSelfIdMap.get(succ)));
}
if (Symbol.isStackRelated(succSymbol.getType())) {
String minDepth = "";
String maxDepth = "";
switch (succSymbol.getType()) {
case PUSH:
minDepth = "1";
maxDepth = "1";
break;
case POP:
minDepth = "-1";
maxDepth = "-1";
break;
case INFINI_PUSH:
minDepth = "1";
maxDepth = "+I";
eventList.add(new LateralStepEvent(infiniLateralStackMap.get(succ)));
break;
case INFINI_POP:
minDepth = "-I";
maxDepth = "-1";
eventList.add(new LateralStepEvent(infiniLateralStackMap.get(succ)));
break;
}
eventList.add(new ChangeDepthEvent(minDepth, maxDepth));
}
if ((Symbol.isMetaSymbol(succSymbol.getType()) == false) || succ == symbolList.size() - 1) {