Uses of Class
eu.bandm.tools.lljava.absy.LLJava.Result

Packages that use LLJava.Result

Package	Description
eu.bandm.tools.lljava.absy	Abstract Syntax of LLJava, representing the byte code instructions, the objects which contain byte code, and the attributes specific to byte code classes.

Uses of LLJava.Result in eu.bandm.tools.lljava.absy

Subclasses of LLJava.Result in eu.bandm.tools.lljava.absy

Modifier and Type	Class and Description
static class	LLJava.ArrayType Generated by umod; model author's documentation MISSING.
static class	LLJava.BooleanType Generated by umod; model author's documentation MISSING.
static class	LLJava.ByteType Generated by umod; model author's documentation MISSING.
static class	LLJava.CharType Generated by umod; model author's documentation MISSING.
static class	LLJava.ClassType Generated by umod; model author's documentation MISSING.
static class	LLJava.DoubleType Generated by umod; model author's documentation MISSING.
static class	LLJava.FloatType Generated by umod; model author's documentation MISSING.
static class	LLJava.IntType Generated by umod; model author's documentation MISSING.
static class	LLJava.LongType Generated by umod; model author's documentation MISSING.
static class	LLJava.PrimitiveType Generated by umod; model author's documentation MISSING.
static class	LLJava.RefType Generated by umod; model author's documentation MISSING.
static class	LLJava.ShortType Generated by umod; model author's documentation MISSING.
static class	LLJava.Type Generated by umod; model author's documentation MISSING.
static class	LLJava.Void Method return type void.
static class	LLJava.WideType Generated by umod; model author's documentation MISSING.

Fields in eu.bandm.tools.lljava.absy declared as LLJava.Result

Modifier and Type	Field and Description
protected LLJava.Result	LLJava.ResultExpr.erasure The raw type represented by this method result specification.

Methods in eu.bandm.tools.lljava.absy that return LLJava.Result

Modifier and Type	Method and Description
static LLJava.Result	SemanticUtils.asResult(Class<?> cls)
LLJava.Result	LLJava.Result.doclone() Clones this object.
LLJava.Result	LLJava.ResultExpr.get_erasure() The raw type represented by this method result specification.
LLJava.Result	LLJava.Result.initFrom(Object o0) Copies values of all common fields from the argument.

Methods in eu.bandm.tools.lljava.absy that return types with arguments of type LLJava.Result

Modifier and Type	Method and Description
static Pattern<? super LLJava.Result>	LLJava.__Patterns.term_Result(Pattern<Object> superpattern)

Methods in eu.bandm.tools.lljava.absy with parameters of type LLJava.Result

Modifier and Type	Method and Description
protected void	LLJava.MATCH_ONLY_00.action(LLJava.Result e0)
protected void	LLJava.MultiVisitor.action(LLJava.Result e0)
protected void	LLJava.Visitor.action(LLJava.Result e0)
protected void	LLJava.__Formatter.action(LLJava.Result el)
protected void	LLJava.MultiVisitor.descend(LLJava.Result e0)
static LLJava.MethodReference	Factory.interfaceMethodRef(LLJava.Result result, LLJava.QualId owner, String name, LLJava.Type... params)
void	LLJava.MATCH_ONLY_00.match(LLJava.Result e0)
static LLJava.MethodReference	Factory.methodRef(LLJava.Result result, LLJava.QualId owner, String name, LLJava.Type... params)
static LLJava.Method	Factory.newMethod(LLJava.Result result, String name)
protected void	LLJava.MultiVisitor.post(LLJava.Result e0)
protected void	LLJava.MultiVisitor.pre(LLJava.Result e0)
boolean	LLJava.ResultExpr.set_erasure(LLJava.Result val) The raw type represented by this method result specification.
static LLJava.ResultExpr	SemanticUtils.synthesize(LLJava.Result result)
protected Format	LLJava.__Formatter.toFormat(LLJava.Result el)

Method parameters in eu.bandm.tools.lljava.absy with type arguments of type LLJava.Result

Modifier and Type	Method and Description
static Pattern<Object>	LLJava.__Patterns.cast_Result(Pattern<? super LLJava.Result> p)
static Pattern<LLJava.ResultExpr>	LLJava.ResultExpr.get_erasure(Pattern<? super LLJava.Result> p) Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<? super LLJava.ResultExpr>	LLJava.__Patterns.term_ResultExpr(Pattern<? super LLJava.Node> superpattern, Pattern<? super LLJava.Result> p_erasure)
static Pattern<? super LLJava.Type>	LLJava.__Patterns.term_Type(Pattern<? super LLJava.Result> superpattern)
static Pattern<? super LLJava.Void>	LLJava.__Patterns.term_Void(Pattern<? super LLJava.Result> superpattern)