public override void Check(SequenceCheckingEnvironment env) { base.Check(env); GraphElementType graphElementType = TypesHelper.GetGraphElementType(GraphElementVar.Type, env.Model); if (GraphElementVar.Type != "" && graphElementType == null) { throw new SequenceParserException(Symbol, "node or edge type", GraphElementVar.Type); } if (VisitedFlagExpression != null) { if (!TypesHelper.IsSameOrSubtype(VisitedFlagExpression.Type(env), "int", env.Model)) { throw new SequenceParserException(Symbol, "int", VisitedFlagExpression.Type(env)); } } }