jif.ast
Class JifUtil

java.lang.Object
  jif.ast.JifUtil

public class JifUtil

extends java.lang.Object

An implementation of the Jif interface.

Constructor Summary

JifUtil()

Method Summary

static Label	exprToLabel(JifTypeSystem ts, polyglot.ast.Expr expr) Return the Label that the expression expr represents.
static Principal	exprToPrincipal(JifTypeSystem ts, polyglot.ast.Expr expr) Return the Principal that the expression expr represents.
static Label	runtimeLabel(JifTypeSystem ts, polyglot.ast.Expr expr) Generates a dynamic label from expr.
static Principal	runtimePrincipal(JifTypeSystem ts, polyglot.ast.Expr expr) Generates a dynamic principal from expr.
static PathMap	X(polyglot.ast.Node n)
static polyglot.ast.Node	X(polyglot.ast.Node n, PathMap X)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JifUtil

public JifUtil()

Method Detail

X

public static PathMap X(polyglot.ast.Node n)

X

public static polyglot.ast.Node X(polyglot.ast.Node n,
                                  PathMap X)

exprToLabel

public static Label exprToLabel(JifTypeSystem ts,
                                polyglot.ast.Expr expr)

Return the Label that the expression expr represents.

exprToPrincipal

public static Principal exprToPrincipal(JifTypeSystem ts,
                                        polyglot.ast.Expr expr)

Return the Principal that the expression expr represents.

runtimeLabel

public static Label runtimeLabel(JifTypeSystem ts,
                                 polyglot.ast.Expr expr)

Generates a dynamic label from expr.

runtimePrincipal

public static Principal runtimePrincipal(JifTypeSystem ts,
                                         polyglot.ast.Expr expr)

Generates a dynamic principal from expr.