//public override bool Valid(Statement s)
//{
// if (s is InterfaceCommandStatement)
// {
// return true;
// }
// return base.Valid(s);
//}
public virtual void VisitInterfaceCommandStatement( InterfaceCommandStatement command)
{
if (ClassName == null)
throw new MalformedFSMException("Encountered interfacecommand directive before class directive.", command.line);
stream.WriteLine("\t\t" + command.name + " = " + commandIndex + ",");
commandIndex++;
}
//public override bool Valid(Statement s)
//{
// if (s is InterfaceCommandStatement)
// {
// return true;
// }
// return base.Valid(s);
//}
public virtual void VisitInterfaceCommandStatement(InterfaceCommandStatement command)
{
commands.Add(command.name);
}
