public class JL5ToJLRewriter extends ExtensionRewriter
| Modifier and Type | Field and Description |
|---|---|
protected JL5TypeSystem |
jl5ts |
from_ext, qq, to_extcontext, outer, prune, rethrowMissingDependencieserror, job, nf, tsbypass, bypassParent| Constructor and Description |
|---|
JL5ToJLRewriter(Job job,
ExtensionInfo from_ext,
ExtensionInfo to_ext) |
| Modifier and Type | Method and Description |
|---|---|
TypeNode |
typeToJava(Type t,
Position pos) |
addDecls, canonical, enterCall, errorQueue, finish, from_ext, from_nf, from_ts, lang, leaveCall, qq, to_ext, to_nf, to_tsaddDecls, begin, context, context, enter, enter, enterScope, leave, rethrowMissingDependencies, superEntercatchErrors, enterCall, enterError, hasErrors, job, leaveCall, leaveCall, nodeFactory, typeSystembypass, bypass, bypassChildren, override, visitChildrencopy, finish, leave, override, toString, visitEdge, visitEdgeNoOverrideprotected final JL5TypeSystem jl5ts
public JL5ToJLRewriter(Job job, ExtensionInfo from_ext, ExtensionInfo to_ext)
public TypeNode typeToJava(Type t, Position pos) throws SemanticException
typeToJava in class ExtensionRewriterSemanticException