public override void PostWalkSpontaneousTrigger(SpontaneousTriggerSyntax spontaneousTriggerSyntax) {
MethodsCalled["PostWalkSpontaneousTrigger"]=true;
}
public override void VisitSpontaneousTrigger(SpontaneousTriggerSyntax spontaneousTriggerSyntax) {
var location = spontaneousTriggerSyntax.GetLocation();
if(location != null) {
var trigger = new SpontaneousTriggerSymbol(location, spontaneousTriggerSyntax);
_triggers.Add(trigger);
}
}
// SpontaneousTriggerSyntax
public override bool WalkSpontaneousTrigger(SpontaneousTriggerSyntax spontaneousTriggerSyntax) {
MethodsCalled["WalkSpontaneousTrigger"]=true;
return true;
}
