@Deprecated public class JifMethodDecl_c extends polyglot.ast.MethodDecl_c implements JifMethodDecl
JifMethod
interface.Modifier and Type | Field and Description |
---|---|
protected java.util.List<ConstraintNode<Assertion>> |
constraints
Deprecated.
|
protected LabelNode |
returnLabel
Deprecated.
|
protected LabelNode |
startLabel
Deprecated.
|
Constructor and Description |
---|
JifMethodDecl_c(polyglot.util.Position pos,
polyglot.types.Flags flags,
polyglot.ast.TypeNode returnType,
polyglot.ast.Id name,
LabelNode startLabel,
java.util.List<polyglot.ast.Formal> formals,
LabelNode returnLabel,
java.util.List<polyglot.ast.TypeNode> throwTypes,
java.util.List<ConstraintNode<Assertion>> constraints,
polyglot.ast.Block body,
polyglot.ast.Javadoc javadoc)
Deprecated.
|
JifMethodDecl_c(polyglot.util.Position pos,
polyglot.types.Flags flags,
polyglot.ast.TypeNode returnType,
polyglot.ast.Id name,
LabelNode startLabel,
java.util.List<polyglot.ast.Formal> formals,
LabelNode returnLabel,
java.util.List<polyglot.ast.TypeNode> throwTypes,
java.util.List<ConstraintNode<Assertion>> constraints,
polyglot.ast.Block body,
polyglot.ast.Javadoc javadoc,
polyglot.ast.Ext ext)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<ConstraintNode<Assertion>> |
constraints()
Deprecated.
|
JifMethodDecl |
constraints(java.util.List<ConstraintNode<Assertion>> constraints)
Deprecated.
|
protected <N extends JifMethodDecl_c> |
constraints(N n,
java.util.List<ConstraintNode<Assertion>> constraints)
Deprecated.
|
polyglot.ast.Node |
disambiguate(polyglot.visit.AmbiguityRemover ar)
Deprecated.
|
protected <N extends JifMethodDecl_c> |
reconstruct(N n,
polyglot.ast.Id name,
polyglot.ast.TypeNode returnType,
LabelNode startLabel,
java.util.List<polyglot.ast.Formal> formals,
LabelNode returnLabel,
java.util.List<polyglot.ast.TypeNode> throwTypes,
java.util.List<ConstraintNode<Assertion>> constraints,
polyglot.ast.Block body)
Deprecated.
|
LabelNode |
returnLabel()
Deprecated.
|
JifMethodDecl |
returnLabel(LabelNode returnLabel)
Deprecated.
|
protected <N extends JifMethodDecl_c> |
returnLabel(N n,
LabelNode returnLabel)
Deprecated.
|
LabelNode |
startLabel()
Deprecated.
|
JifMethodDecl |
startLabel(LabelNode startLabel)
Deprecated.
|
protected <N extends JifMethodDecl_c> |
startLabel(N n,
LabelNode startLabel)
Deprecated.
|
static JifMethodInstance |
unrenameArgs(JifMethodInstance jmi)
Deprecated.
Rename the arg labels and arg roots.
|
polyglot.ast.Node |
visitChildren(polyglot.visit.NodeVisitor v)
Deprecated.
|
acceptCFG, buildTypes, copy, dump, enterScope, extRewrite, firstChild, isDisambiguated, memberInstance, methodInstance, methodInstance, methodInstance, overrideMethodCheck, prettyPrintHeader, procedureInstance, reconstruct, returnType, returnType, returnType, throwsCheck, toString, typeCheck
body, body, body, buildTypesEnter, codeBody, codeInstance, exceptionCheckEnter, flags, flags, flags, formals, formals, formals, id, id, id, javadoc, javadoc, javadoc, name, name, prettyPrint, reconstruct, throwTypes, throwTypes, throwTypes
exceptionCheck, exceptions, exceptions, exceptions, listChild, reachable, reachable, reachable
addDecls, checkConstants, childExpectedType, copy, copy, copyIfNeeded, del, del, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, error, error, error, ext, ext, ext, ext, extRewriteEnter, extRewriteOverride, isTypeChecked, lang, position, position, position, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, throwTypes, translate, typeCheckEnter, typeCheckOverride, visit, visitChild, visitEdge, visitList
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
methodInstance, methodInstance, returnType, returnType
protected LabelNode startLabel
protected LabelNode returnLabel
protected java.util.List<ConstraintNode<Assertion>> constraints
public JifMethodDecl_c(polyglot.util.Position pos, polyglot.types.Flags flags, polyglot.ast.TypeNode returnType, polyglot.ast.Id name, LabelNode startLabel, java.util.List<polyglot.ast.Formal> formals, LabelNode returnLabel, java.util.List<polyglot.ast.TypeNode> throwTypes, java.util.List<ConstraintNode<Assertion>> constraints, polyglot.ast.Block body, polyglot.ast.Javadoc javadoc)
public JifMethodDecl_c(polyglot.util.Position pos, polyglot.types.Flags flags, polyglot.ast.TypeNode returnType, polyglot.ast.Id name, LabelNode startLabel, java.util.List<polyglot.ast.Formal> formals, LabelNode returnLabel, java.util.List<polyglot.ast.TypeNode> throwTypes, java.util.List<ConstraintNode<Assertion>> constraints, polyglot.ast.Block body, polyglot.ast.Javadoc javadoc, polyglot.ast.Ext ext)
public LabelNode startLabel()
startLabel
in interface JifProcedureDecl
public JifMethodDecl startLabel(LabelNode startLabel)
startLabel
in interface JifMethodDecl
protected <N extends JifMethodDecl_c> N startLabel(N n, LabelNode startLabel)
public LabelNode returnLabel()
returnLabel
in interface JifProcedureDecl
public JifMethodDecl returnLabel(LabelNode returnLabel)
returnLabel
in interface JifMethodDecl
protected <N extends JifMethodDecl_c> N returnLabel(N n, LabelNode returnLabel)
public java.util.List<ConstraintNode<Assertion>> constraints()
constraints
in interface JifProcedureDecl
public JifMethodDecl constraints(java.util.List<ConstraintNode<Assertion>> constraints)
constraints
in interface JifMethodDecl
protected <N extends JifMethodDecl_c> N constraints(N n, java.util.List<ConstraintNode<Assertion>> constraints)
public polyglot.ast.Node visitChildren(polyglot.visit.NodeVisitor v)
visitChildren
in interface polyglot.ast.NodeOps
visitChildren
in class polyglot.ast.MethodDecl_c
protected <N extends JifMethodDecl_c> N reconstruct(N n, polyglot.ast.Id name, polyglot.ast.TypeNode returnType, LabelNode startLabel, java.util.List<polyglot.ast.Formal> formals, LabelNode returnLabel, java.util.List<polyglot.ast.TypeNode> throwTypes, java.util.List<ConstraintNode<Assertion>> constraints, polyglot.ast.Block body)
public polyglot.ast.Node disambiguate(polyglot.visit.AmbiguityRemover ar) throws polyglot.types.SemanticException
disambiguate
in interface polyglot.ast.NodeOps
disambiguate
in class polyglot.ast.MethodDecl_c
polyglot.types.SemanticException
public static JifMethodInstance unrenameArgs(JifMethodInstance jmi)