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

Packages that use LLJava.Method

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.
eu.bandm.tools.lljava.codec
eu.bandm.tools.lljava.live
eu.bandm.tools.lljava.parser

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

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

Modifier and Type	Field	Description
(package private) final LLJava.Method	TypeChecker.Inferrer.InstructionProcessor.context
(package private) final LLJava.Method	ControlFlowAnalyzer.ControlFlow.method

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

Modifier and Type	Field	Description
protected CheckedList<LLJava.Method>	LLJava.Class.methods	Generated by umod; model author's documentation MISSING.

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

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

Modifier and Type	Method	Description
static Pattern<LLJava.Method>	LLJava.Method.get_body(Pattern<? super LLJava.MethodBody> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Method>	LLJava.Method.get_exceptions(Pattern<? super CheckedList<LLJava.ClassReference>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
CheckedList<LLJava.Method>	LLJava.Class.get_methods()	Generated by umod; model author's documentation MISSING.
static Pattern<LLJava.Method>	LLJava.Method.get_parameters(Pattern<? super CheckedList<LLJava.Parameter>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Method>	LLJava.Method.get_result(Pattern<? super LLJava.ResultExpr> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Method>	LLJava.Method.get_typeParameters(Pattern<? super CheckedList<LLJava.TypeParameter>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Method>	LLJava.__Patterns.term_Method(Pattern<? super LLJava.Member> superpattern, Pattern<? super CheckedList<LLJava.TypeParameter>> p_typeParameters, Pattern<? super LLJava.ResultExpr> p_result, Pattern<? super CheckedList<LLJava.Parameter>> p_parameters, Pattern<? super CheckedList<LLJava.ClassReference>> p_exceptions, Pattern<? super LLJava.MethodBody> p_body)

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

Modifier and Type	Method	Description
void	StoreLoadOptimizer.accept(LLJava.Method method)
protected void	ContextChecker.action(LLJava.Method m)
protected void	ContextChecker.EnvironmentAnnotator.action(LLJava.Method x)
protected void	ContextChecker.ModifierChecker.action(LLJava.Method x)
protected void	ContextChecker.Typer.action(LLJava.Method m)
protected void	LLJava.__Formatter.action(LLJava.Method el)
protected void	LLJava.MATCH_ONLY_00.action(LLJava.Method e0)
protected void	LLJava.MultiVisitor.action(LLJava.Method e0)
protected void	LLJava.Visitor.action(LLJava.Method e0)
protected void	TypeChecker.Inferrer.action(LLJava.Method m)
ControlFlowAnalyzer.ControlFlow	ControlFlowAnalyzer.analyze(LLJava.Method method)
protected void	ConstantPoolCollector.Creator.descend(LLJava.Method m)
protected void	LLJava.MultiVisitor.descend(LLJava.Method e0)
(package private) static String	ConstantPoolCollector.descriptor(LLJava.Method m)
void	LLJava.MultiVisitor.follow_exceptions(LLJava.Method element)
void	LLJava.Visitor.follow_exceptions(LLJava.Method element)
void	LLJava.MultiVisitor.follow_parameters(LLJava.Method element)
void	LLJava.Visitor.follow_parameters(LLJava.Method element)
void	LLJava.MultiVisitor.follow_typeParameters(LLJava.Method element)
void	LLJava.Visitor.follow_typeParameters(LLJava.Method element)
void	LLJava.MATCH_ONLY_00.followAll_exceptions(LLJava.Method element)
void	LLJava.MATCH_ONLY_00.followAll_parameters(LLJava.Method element)
void	LLJava.MATCH_ONLY_00.followAll_typeParameters(LLJava.Method element)
(package private) LLJava.StackFrame	TypeChecker.initial(LLJava.ClassType owner, LLJava.Method m)
(package private) static String	ConstantPoolCollector.mangleSignature(LLJava.Method m)
void	LLJava.MATCH_ONLY_00.match(LLJava.Method e0)
protected void	LLJava.MultiVisitor.post(LLJava.Method e0)
protected void	LLJava.MultiVisitor.pre(LLJava.Method e0)
(package private) TypeChecker.Focus	TypeChecker.Inferrer.process(LLJava.Method context, LLJava.Instruction i)
protected Format	LLJava.__Formatter.toFormat(LLJava.Method el)

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

Modifier and Type	Method	Description
static Pattern<Object>	LLJava.__Patterns.cast_Method(Pattern<? super LLJava.Method> p)
static Pattern<LLJava.Class>	LLJava.Class.get_methods(Pattern<? super CheckedList<LLJava.Method>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
boolean	LLJava.Class.set_methods(CheckedList<LLJava.Method> val)	Generated by umod; model author's documentation MISSING.

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

Modifier	Constructor	Description
(package private)	ControlFlow(LLJava.Method method)
	ControlFlowSynthesizer(LLJava.Method method)
(package private)	InstructionProcessor(LLJava.Method context, LLJava.Instruction instruction)

Uses of LLJava.Method in eu.bandm.tools.lljava.codec

Fields in eu.bandm.tools.lljava.codec with type parameters of type LLJava.Method

Modifier and Type	Field	Description
final Expression<SourceId,SignatureParser.TokenType,Consumer<LLJava.Method>>	SignatureParser.methodSignature

Methods in eu.bandm.tools.lljava.codec that return LLJava.Method

Modifier and Type	Method	Description
protected LLJava.Method	Decoder.decodeMethod()

Methods in eu.bandm.tools.lljava.codec with parameters of type LLJava.Method

Modifier and Type	Method	Description
protected void	Encoder.descend(LLJava.Method m)
void	SignatureParser.parseMethodSignature(String signature, LLJava.Method method)
protected void	SignatureParser.processMethod(Reducer.Context<SourceId> context, LLJava.Method target, List<LLJava.TypeParameter> typeParams, List<LLJava.TypeExpr> params, LLJava.ResultExpr result, List<LLJava.ClassTypeExpr> exceptions)

Uses of LLJava.Method in eu.bandm.tools.lljava.live

Fields in eu.bandm.tools.lljava.live declared as LLJava.Method

Modifier and Type	Field	Description
protected final LLJava.Method	BaseCompilationContext.constructor

Methods in eu.bandm.tools.lljava.live that return LLJava.Method

Modifier and Type	Method	Description
protected LLJava.Method	BaseCompilationContext.startMethodInternal(int modifiers, Class<?> result, String name, Class<?>... paramTypes)

Methods in eu.bandm.tools.lljava.live with parameters of type LLJava.Method

Modifier and Type	Method	Description
protected void	BaseCompilationContext.pushFrame(LLJava.Method owner, LLJava.Block block, List<VariableContext.Variable> inputs, List<VariableContext.Variable> outputs)
void	BaseCompilationContext.startBlock(LLJava.Method owner, LLJava.Block block)

Uses of LLJava.Method in eu.bandm.tools.lljava.parser

Fields in eu.bandm.tools.lljava.parser with type parameters of type LLJava.Method

Modifier and Type	Field	Description
final Expression<SourceId,LLJavaLexer.TokenType,LLJava.Method>	LLJavaGrammar.methodDefinition

Methods in eu.bandm.tools.lljava.parser that return LLJava.Method

Modifier and Type	Method	Description
protected abstract LLJava.Method	LLJavaGrammar.methodDefinition(Reducer.Context<SourceId> context, List<LLJava.ModifierExpr> modifiers, List<LLJava.TypeParameter> typeParameters, LLJava.ResultExpr returnType, LLJava.Id name, List<LLJava.Parameter> parameters, List<LLJava.ClassReference> exceptions, LLJava.MethodBody body)
protected LLJava.Method	LLJavaParser.methodDefinition(Reducer.Context<SourceId> context, List<LLJava.ModifierExpr> modifiers, List<LLJava.TypeParameter> typeParameters, LLJava.ResultExpr returnType, LLJava.Id name, List<LLJava.Parameter> parameters, List<LLJava.ClassReference> exceptions, LLJava.MethodBody body)