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

Packages that use LLJava.Slot

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

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

Modifier and Type	Field and Description
protected LLJava.Slot	LLJava.VariableAccess.target Generated by umod; model author's documentation MISSING.

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

Modifier and Type	Method and Description
LLJava.Slot	LLJava.Slot.doclone() Clones this object.
LLJava.Slot	LLJava.VariableAccess.get_target() Generated by umod; model author's documentation MISSING.
LLJava.Slot	LLJava.Slot.initFrom(Object o0) Copies values of all common fields from the argument.
LLJava.Slot	LLJava.Slot.with_index(int val) The index is base ONE and maximally 2 ^ 222 (This definition has been created by UMod from the source at SYSTEM "LLJava.umod":822.9-823.9, cf.
LLJava.Slot	LLJava.Slot.with_type(LLJava.Type val) Generated by umod; model author's documentation MISSING.

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

Modifier and Type	Method and Description
static Pattern<LLJava.Slot>	LLJava.Slot.get_index(Pattern<? super Integer> p) Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Slot>	LLJava.Slot.get_type(Pattern<? super LLJava.Type> p) Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<? super LLJava.Slot>	LLJava.__Patterns.term_Slot(Pattern<Object> superpattern, Pattern<? super LLJava.Type> p_type, Pattern<? super Integer> p_index)

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

Modifier and Type	Method and Description
protected void	LLJava.MATCH_ONLY_00.action(LLJava.Slot e0)
protected void	LLJava.MultiVisitor.action(LLJava.Slot e0)
protected void	LLJava.Visitor.action(LLJava.Slot e0)
protected void	LLJava.__Formatter.action(LLJava.Slot el)
protected void	LLJava.MultiVisitor.descend(LLJava.Slot e0)
void	LLJava.MATCH_ONLY_00.match(LLJava.Slot e0)
protected void	LLJava.MultiVisitor.post(LLJava.Slot e0)
protected void	LLJava.MultiVisitor.pre(LLJava.Slot e0)
boolean	LLJava.VariableAccess.set_target(LLJava.Slot val) Generated by umod; model author's documentation MISSING.
protected Format	LLJava.__Formatter.toFormat(LLJava.Slot el)
boolean	LLJava.Slot.x_equals(LLJava.Slot e0)

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

Modifier and Type	Method and Description
static Pattern<Object>	LLJava.__Patterns.cast_Slot(Pattern<? super LLJava.Slot> p)
static Pattern<LLJava.VariableAccess>	LLJava.VariableAccess.get_target(Pattern<? super LLJava.Slot> p) Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<? super LLJava.VariableAccess>	LLJava.__Patterns.term_VariableAccess(Pattern<? super LLJava.StoreArgument> superpattern, Pattern<? super LLJava.Slot> p_target)