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));
}
}
}
