jif.translate

Class MethodDeclToJavaExt_c

java.lang.Object

polyglot.ast.Ext_c

jif.translate.ToJavaExt_c

jif.translate.MethodDeclToJavaExt_c

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, ToJavaExt, polyglot.ast.Ext, polyglot.ast.NodeOps, polyglot.util.Copy<polyglot.ast.Ext>

public class MethodDeclToJavaExt_c
extends ToJavaExt_c

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface polyglot.util.Copy

polyglot.util.Copy.Util

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.List<polyglot.ast.Formal>	formals
protected JifMethodInstance	mi

Fields inherited from class polyglot.ast.Ext_c

ext, node, pred

Constructor Summary

Constructors

Constructor and Description
MethodDeclToJavaExt_c()

Method Summary

Modifier and Type	Method and Description
protected polyglot.ast.Block	guardWithConstraints(JifToJavaRewriter rw, polyglot.ast.Block b)
polyglot.ast.Node	staticMainToJava(JifToJavaRewriter rw, polyglot.ast.MethodDecl n) Rewrite static main(principal p, String[] args) {...} to static main(String[] args) {Principal p = Runtime.getUser(); {...} };
polyglot.ast.Node	toJava(JifToJavaRewriter rw)
polyglot.visit.NodeVisitor	toJavaEnter(JifToJavaRewriter rw)

Methods inherited from class jif.translate.ToJavaExt_c

toJava

Methods inherited from class polyglot.ast.Ext_c

addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, ext, ext, extRewrite, extRewriteEnter, extRewriteOverride, init, initPred, lang, node, pred, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, superLang, throwTypes, toString, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList

Methods inherited from class java.lang.Object

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

Methods inherited from interface polyglot.ast.Ext

dump, ext, ext, init, initPred, node, pred

Methods inherited from interface polyglot.ast.NodeOps

addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, extRewriteOverride, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList

Methods inherited from interface polyglot.util.Copy

copy

Field Detail

mi

protected JifMethodInstance mi

formals

protected java.util.List<polyglot.ast.Formal> formals

Constructor Detail

MethodDeclToJavaExt_c

public MethodDeclToJavaExt_c()

Method Detail

toJavaEnter

public polyglot.visit.NodeVisitor toJavaEnter(JifToJavaRewriter rw)
                                       throws polyglot.types.SemanticException

Specified by:

toJavaEnter in interface ToJavaExt

Overrides:

toJavaEnter in class ToJavaExt_c

Throws:

polyglot.types.SemanticException

toJava

public polyglot.ast.Node toJava(JifToJavaRewriter rw)
                         throws polyglot.types.SemanticException

Specified by:

toJava in class ToJavaExt_c

Throws:

polyglot.types.SemanticException

staticMainToJava

public polyglot.ast.Node staticMainToJava(JifToJavaRewriter rw,
                                          polyglot.ast.MethodDecl n)
                                   throws polyglot.types.SemanticException

Rewrite static main(principal p, String[] args) {...} to static main(String[] args) {Principal p = Runtime.getUser(); {...} };

Throws:

polyglot.types.SemanticException

guardWithConstraints

protected polyglot.ast.Block guardWithConstraints(JifToJavaRewriter rw,
                                                  polyglot.ast.Block b)
                                           throws polyglot.types.SemanticException

Throws:

polyglot.types.SemanticException