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

Packages that use LLJava.TypeInstruction

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.TypeInstruction in eu.bandm.tools.lljava.absy

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

Modifier and Type	Class	Description
static class	LLJava.Cast	Generated by umod; model author's documentation MISSING.
static class	LLJava.Instanceof	Generated by umod; model author's documentation MISSING.
static class	LLJava.New	Generated by umod; model author's documentation MISSING.

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

Modifier and Type	Method	Description
LLJava.TypeInstruction	LLJava.TypeInstruction.doclone()	Clones this object.
LLJava.TypeInstruction	LLJava.TypeInstruction.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.TypeInstruction

Modifier and Type	Method	Description
static Pattern<LLJava.TypeInstruction>	LLJava.TypeInstruction.get_entry(Pattern<? super @Opt LLJava.ClassRef> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.TypeInstruction>	LLJava.TypeInstruction.get_type(Pattern<? super LLJava.TypeExpr> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.TypeInstruction>	LLJava.__Patterns.term_TypeInstruction(Pattern<? super LLJava.Instruction> superpattern, Pattern<? super LLJava.TypeExpr> p_type, Pattern<? super @Opt LLJava.ClassRef> p_entry)

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

Modifier and Type	Method	Description
protected void	LLJava.__Formatter.action(LLJava.TypeInstruction el)
protected void	LLJava.MATCH_ONLY_00.action(LLJava.TypeInstruction e0)
protected void	LLJava.MultiVisitor.action(LLJava.TypeInstruction e0)
protected void	LLJava.Visitor.action(LLJava.TypeInstruction e0)
protected void	LLJava.MultiVisitor.descend(LLJava.TypeInstruction e0)
void	LLJava.MATCH_ONLY_00.match(LLJava.TypeInstruction e0)
protected void	LLJava.MultiVisitor.post(LLJava.TypeInstruction e0)
protected void	LLJava.MultiVisitor.pre(LLJava.TypeInstruction e0)
protected Format	LLJava.__Formatter.toFormat(LLJava.TypeInstruction el)

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

Modifier and Type	Method	Description
static Pattern<Object>	LLJava.__Patterns.cast_TypeInstruction(Pattern<? super LLJava.TypeInstruction> p)
static Pattern<LLJava.Cast>	LLJava.__Patterns.term_Cast(Pattern<? super LLJava.TypeInstruction> superpattern)
static Pattern<LLJava.Instanceof>	LLJava.__Patterns.term_Instanceof(Pattern<? super LLJava.TypeInstruction> superpattern)
static Pattern<LLJava.New>	LLJava.__Patterns.term_New(Pattern<? super LLJava.TypeInstruction> superpattern, Pattern<? super Integer> p_multiarray)