appclass.sm

来自「SMC takes a state machine stored in a .s」· SM 代码 · 共 86 行

// -*- tab-width: 4; -*-
//
// The contents of this file are subject to the Mozilla Public
// License Version 1.1 (the "License"); you may not use this file
// except in compliance with the License. You may obtain a copy of
// the License at http://www.mozilla.org/MPL/
// 
// Software distributed under the License is distributed on an "AS
// IS" basis, WITHOUT WARRANTY OF ANY KIND, either express or
// implied. See the License for the specific language governing
// rights and limitations under the License.
// 
// The Original Code is State Machine Compiler (SMC).
// 
// The Initial Developer of the Original Code is Charles W. Rapp.
// Portions created by Charles W. Rapp are
// Copyright (C) 2004. Charles W. Rapp.
// All Rights Reserved.
// 
// Contributor(s):
//   Eitan Suez contributed examples/Ant.
//   (Name withheld) contributed the C# code generation and
//   examples/C#.
//
// State Machine
//	This state machine is recognizes the regular expression 0*1*.
//
// RCS ID
// $Id: AppClass.sm,v 1.1 2005/05/28 13:05:06 cwrapp Exp $
//
// CHANGE LOG
// $Log: AppClass.sm,v $
// Revision 1.1  2005/05/28 13:05:06  cwrapp
// Added CSharp examples 1 - 3.
//
// Revision 1.0  2004/09/01 16:02:10  charlesr
// Initial revision
//

%start Map1::Start
%class AppClass

%map Map1
%%
// State		Transition		End State		Action(s)
Start {
				Zero			Zeros			{}
				One				Ones			{}
				Unknown			Error			{}
				EOS				OK				{
                                                    Acceptable = true;
                                                }
}

Zeros {
				Zero			Zeros			{}
				One				Ones			{}
				Unknown			Error			{}
				EOS				OK				{
													Acceptable = true; 
												}
}

Ones {
				Zero			Error			{}
				One				Ones			{}
				Unknown			Error			{}
				EOS				OK				{
                                                    Acceptable=true;
                                                    AcceptableM(true);
                                                }
}

OK {}

Error 
Entry {SignalError();}
{
				Zero			nil				{}
				One				nil				{}
				Unknown			nil				{}
				EOS				nil				{Acceptable=false;}//Unacceptable();}
}

%%