public class Grm
extends jif.parse.Grm
| Modifier and Type | Field and Description | 
|---|---|
protected static short[][] | 
_action_table
Parse-action table. 
 | 
protected static short[][] | 
_production_table
Production table. 
 | 
protected static short[][] | 
_reduce_table
reduce_goto table. | 
protected fabric.parse.Grm.CUP$Grm$actions | 
action_obj
Instance of action encapsulation class. 
 | 
FabricNodeFactory | 
nf  | 
java.net.URI | 
ns  | 
FabricTypeSystem | 
ts  | 
| Constructor and Description | 
|---|
Grm(Lexer l,
   FabricTypeSystem t,
   FabricNodeFactory n,
   ErrorQueue q,
   java.net.URI ns)  | 
| Modifier and Type | Method and Description | 
|---|---|
short[][] | 
action_table()
Access to parse-action table. 
 | 
TypeNode | 
array(Position pos,
     TypeNode n,
     int dims)  | 
java_cup.runtime.Symbol | 
do_action(int act_num,
         java_cup.runtime.lr_parser parser,
         java.util.Stack<java_cup.runtime.Symbol> stack,
         int top)
Invoke a user supplied parse action. 
 | 
int | 
EOF_sym()
EOF Symbol index. | 
int | 
error_sym()
error Symbol index. | 
PackageNode | 
exprToPackage(Expr e)  | 
QualifierNode | 
exprToQualifier(Expr e)  | 
TypeNode | 
exprToUninstType(Expr e)  | 
TypeNode | 
fabricArray(Position pos,
           TypeNode n,
           int dims)  | 
protected void | 
init_actions()
Action encapsulation object initializer. 
 | 
TypeNode | 
javaArray(TypeNode n,
         int dims)  | 
PackageNode | 
prefixToPackage(Prefix p)  | 
QualifierNode | 
prefixToQualifier(Prefix p)  | 
short[][] | 
production_table()
Access to production table. 
 | 
Expr | 
receiverToExpr(AmbReceiver r)  | 
short[][] | 
reduce_table()
Access to  
reduce_goto table. | 
java_cup.runtime.Symbol | 
scan()
Scan to get the next Symbol. 
 | 
int | 
start_production()
Indicates start production. 
 | 
int | 
start_state()
Indicates start state. 
 | 
Expr | 
toNewFabricArray(Position pos,
                Amb a,
                int dims,
                Expr loc)
Converts an Amb a into an AST representing new a[][]...[] 
 | 
protected static final short[][] _production_table
protected static final short[][] _action_table
protected static final short[][] _reduce_table
reduce_goto table.protected fabric.parse.Grm.CUP$Grm$actions action_obj
public final FabricTypeSystem ts
public final FabricNodeFactory nf
public final java.net.URI ns
public Grm(Lexer l,
           FabricTypeSystem t,
           FabricNodeFactory n,
           ErrorQueue q,
           java.net.URI ns)
public short[][] production_table()
public short[][] action_table()
public short[][] reduce_table()
reduce_goto table.protected void init_actions()
public java_cup.runtime.Symbol do_action(int act_num,
                                         java_cup.runtime.lr_parser parser,
                                         java.util.Stack<java_cup.runtime.Symbol> stack,
                                         int top)
                                  throws java.lang.Exception
java.lang.Exceptionpublic int start_state()
public int start_production()
public int EOF_sym()
EOF Symbol index.public int error_sym()
error Symbol index.public java_cup.runtime.Symbol scan()
                             throws java.lang.Exception
java.lang.Exceptionpublic TypeNode fabricArray(Position pos,
                            TypeNode n,
                            int dims)
                     throws java.lang.Exception
java.lang.Exceptionpublic TypeNode array(Position pos,
                      TypeNode n,
                      int dims)
               throws java.lang.Exception
java.lang.Exceptionpublic TypeNode javaArray(TypeNode n,
                          int dims)
                   throws java.lang.Exception
java.lang.Exceptionpublic Expr toNewFabricArray(Position pos,
                             Amb a,
                             int dims,
                             Expr loc)
                      throws java.lang.Exception
java.lang.Exceptionpublic PackageNode exprToPackage(Expr e)
                          throws java.lang.Exception
java.lang.Exceptionpublic QualifierNode exprToQualifier(Expr e)
                              throws java.lang.Exception
java.lang.Exceptionpublic PackageNode prefixToPackage(Prefix p)
                            throws java.lang.Exception
java.lang.Exceptionpublic QualifierNode prefixToQualifier(Prefix p)
                                throws java.lang.Exception
java.lang.Exceptionpublic TypeNode exprToUninstType(Expr e)
                          throws java.lang.Exception
java.lang.Exceptionpublic Expr receiverToExpr(AmbReceiver r)
                    throws java.lang.Exception
java.lang.Exception