-- $Id: Ruler.ag 231 2005-06-07 14:39:41Z atze $

%%[1 ag

-------------------------------------------------------------------------
-- Global info
-------------------------------------------------------------------------

ATTR AllAS1 AGItf [ opts: {Opts} | | ]

-------------------------------------------------------------------------
-- Unique
-------------------------------------------------------------------------

ATTR AllAS1 [ | uniq: Int | ]

SEM AGItf
  | AGItf           decls   .   uniq        =   0

SEM RExpr
  | Judge           (eqns.uniq,loc.lUniq)   =   (@lhs.uniq+1,@lhs.uniq)

-------------------------------------------------------------------------
-- Rule seq nr
-------------------------------------------------------------------------

ATTR AllDecl [ | rlSeqNr: Int | ]

SEM Decl
  | Rules           decls   .   rlSeqNr     =   1
  | Rule            lhs     .   rlSeqNr     =   @lhs.rlSeqNr + 1

SEM AGItf
  | AGItf           decls   .   rlSeqNr     =   1

%%]