Definições Comuns



next up previous contents
Next: Comunicações Up: GAMA-X Geração Semi-Automática Previous: Especificação NYAGSL do

Definições Comuns

; GAMA-X - Share - 1.0 --- jfc 8/93

TYPE
  GISym = STR;
  TypeId = STR;
  TypeDef = TypeId | (TypeDef)-list;
  VarId = STR;
  OpcVarId = NIL | VarId;
  EvId :: GI:  OpcGISym               /* NIL se input */
          VAR: OpcVarId;
  OpcGISym = NIL | GISym;
  InstId :: SYMB: GISym
            INST: Nat0;
  Nat0 = INT;
  OpcInstId = NIL | InstId;
  OpcCmdLineDescr = NIL | CmdLineDescr;
  CmdLineDescr :: OP:   GISym     /* Podia so ser colocado no fim */
                  ARGS: ArgDef-list;
  ArgDef :: NAME:  VarId
            VALUE: OpcValue;
  OpcValue = NIL | Value;
  TransId = EvId | CmdId;
  CmdId :: DREF: STR;
  Value = INT | STR | Bool | Value-set | Value->Value | 
          Value-list | Value<->Value;      
  Bool = SYM;
ENDTYPE
#includemetoo kill.met



Jose Franscisco Creissac Campos
Wed Jan 31 20:30:35 MET 1996