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	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	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	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	Description
static Pattern<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	Description
protected void	LLJava.__Formatter.action(LLJava.Result el)
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.MultiVisitor.descend(LLJava.Result e0)
(package private) static String	ConstantPoolCollector.mangle(LLJava.Result r)
void	LLJava.MATCH_ONLY_00.match(LLJava.Result e0)
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	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<LLJava.Type>	LLJava.__Patterns.term_Type(Pattern<? super LLJava.Result> superpattern)
static Pattern<LLJava.Void>	LLJava.__Patterns.term_Void(Pattern<? super LLJava.Result> superpattern)