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

Packages that use LLJava.Block

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

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

Modifier and Type	Field and Description
protected LLJava.Block	LLJava.CodeMethodBody.block Generated by umod; model author's documentation MISSING.
protected LLJava.Block	LLJava.InlineInterval.body Generated by umod; model author's documentation MISSING.
protected LLJava.Block	LLJava.InlinePoint.body Generated by umod; model author's documentation MISSING.
protected LLJava.Block	LLJava.GotoInterval.endTarget The end target of this code interval.
protected LLJava.Block	LLJava.GotoInterval.startTarget The start target of this code interval.
protected LLJava.Block	LLJava.GotoPoint.target The target of this code reference.

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

Modifier and Type	Field and Description
protected CheckedMap_RD<LLJava.Name,LLJava.Block>	LLJava.Block.controlEnv Generated by umod; model author's documentation MISSING.

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

Modifier and Type	Method and Description
static LLJava.Block	Factory.block(boolean implicit, Object... elems)
static LLJava.Block	Factory.block(Object... elems)
LLJava.Block	LLJava.Block.doclone() Clones this object.
LLJava.Block	LLJava.CodeMethodBody.get_block() Generated by umod; model author's documentation MISSING.
LLJava.Block	LLJava.InlineInterval.get_body() Generated by umod; model author's documentation MISSING.
LLJava.Block	LLJava.InlinePoint.get_body() Generated by umod; model author's documentation MISSING.
LLJava.Block	LLJava.GotoInterval.get_endTarget() The end target of this code interval.
LLJava.Block	LLJava.GotoInterval.get_startTarget() The start target of this code interval.
LLJava.Block	LLJava.GotoPoint.get_target() The target of this code reference.
LLJava.Block	ControlFlowSynthesizer.getRoot()
LLJava.Block	LLJava.Block.initFrom(Object o0) Copies values of all common fields from the argument.
static LLJava.Block	Factory.invokeStatic(LLJava.MethodReference method, LLJava.Statement... params)
static LLJava.Block	Factory.stmts(Object... elems)

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

Modifier and Type	Method and Description
Map<LLJava.Block,LLJava.Instruction>	ControlFlowAnalyzer.ControlFlow.first()
CheckedMap_RD<LLJava.Name,LLJava.Block>	LLJava.Block.get_controlEnv() Generated by umod; model author's documentation MISSING.
static Pattern<LLJava.Block>	LLJava.Block.get_controlEnv(Pattern<? super CheckedMap_RD<LLJava.Name,LLJava.Block>> p) Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Block>	LLJava.Block.get_dataEnv(Pattern<? super CheckedMap_RD<LLJava.Name,LLJava.Variable>> p) Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Block>	LLJava.Block.get_elems(Pattern<? super CheckedList<LLJava.Statement>> p) Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Block>	LLJava.Block.get_implicit(Pattern<? super Boolean> p) Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Block>	LLJava.Block.get_labels(Pattern<? super CheckedList<LLJava.Name>> p) Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<? super LLJava.Block>	LLJava.__Patterns.term_Block(Pattern<? super LLJava.Statement> superpattern, Pattern<? super CheckedList<LLJava.Name>> p_labels, Pattern<? super Boolean> p_implicit, Pattern<? super CheckedList<LLJava.Statement>> p_elems, Pattern<? super CheckedMap_RD<LLJava.Name,LLJava.Block>> p_controlEnv, Pattern<? super CheckedMap_RD<LLJava.Name,LLJava.Variable>> p_dataEnv)

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

Modifier and Type	Method and Description
protected void	CodeSerializer.action(LLJava.Block b)
protected void	LLJava.MATCH_ONLY_00.action(LLJava.Block e0)
protected void	LLJava.MultiVisitor.action(LLJava.Block e0)
protected void	LLJava.Visitor.action(LLJava.Block e0)
protected void	LLJava.__Formatter.action(LLJava.Block el)
protected void	LLJava.MultiVisitor.descend(LLJava.Block e0)
void	LLJava.MATCH_ONLY_00.match(LLJava.Block e0)
protected void	LLJava.MultiVisitor.post(LLJava.Block e0)
protected void	LLJava.MultiVisitor.pre(LLJava.Block e0)
void	LLJava.Block.put_controlEnv(LLJava.Name key0, LLJava.Block value) Convenience un-Currying method.
boolean	LLJava.CodeMethodBody.set_block(LLJava.Block val) Generated by umod; model author's documentation MISSING.
boolean	LLJava.InlineInterval.set_body(LLJava.Block val) Generated by umod; model author's documentation MISSING.
boolean	LLJava.InlinePoint.set_body(LLJava.Block val) Generated by umod; model author's documentation MISSING.
boolean	LLJava.GotoInterval.set_endTarget(LLJava.Block val) The end target of this code interval.
boolean	LLJava.GotoInterval.set_startTarget(LLJava.Block val) The start target of this code interval.
boolean	LLJava.GotoPoint.set_target(LLJava.Block val) The target of this code reference.
protected Format	LLJava.__Formatter.toFormat(LLJava.Block el)

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

Modifier and Type	Method and Description
static Pattern<Object>	LLJava.__Patterns.cast_Block(Pattern<? super LLJava.Block> p)
static Pattern<LLJava.CodeMethodBody>	LLJava.CodeMethodBody.get_block(Pattern<? super LLJava.Block> p) Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.InlineInterval>	LLJava.InlineInterval.get_body(Pattern<? super LLJava.Block> p) Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.InlinePoint>	LLJava.InlinePoint.get_body(Pattern<? super LLJava.Block> p) Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Block>	LLJava.Block.get_controlEnv(Pattern<? super CheckedMap_RD<LLJava.Name,LLJava.Block>> p) Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.GotoInterval>	LLJava.GotoInterval.get_endTarget(Pattern<? super LLJava.Block> p) Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.GotoInterval>	LLJava.GotoInterval.get_startTarget(Pattern<? super LLJava.Block> p) Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.GotoPoint>	LLJava.GotoPoint.get_target(Pattern<? super LLJava.Block> p) Lifts a pattern which matches the field value to one which matches this whole object.
boolean	LLJava.Block.set_controlEnv(CheckedMap_RD<LLJava.Name,LLJava.Block> val) Generated by umod; model author's documentation MISSING.
static Pattern<? super LLJava.Block>	LLJava.__Patterns.term_Block(Pattern<? super LLJava.Statement> superpattern, Pattern<? super CheckedList<LLJava.Name>> p_labels, Pattern<? super Boolean> p_implicit, Pattern<? super CheckedList<LLJava.Statement>> p_elems, Pattern<? super CheckedMap_RD<LLJava.Name,LLJava.Block>> p_controlEnv, Pattern<? super CheckedMap_RD<LLJava.Name,LLJava.Variable>> p_dataEnv)
static Pattern<? super LLJava.CodeMethodBody>	LLJava.__Patterns.term_CodeMethodBody(Pattern<? super LLJava.MethodBody> superpattern, Pattern<? super LLJava.Block> p_block, Pattern<? super CheckedList<LLJava.Exception>> p_exceptionTable, Pattern<? super Integer> p_maxLocals, Pattern<? super Integer> p_maxOperands, Pattern<? super CheckedSet<LLJava.Instruction>> p_stackMapPlaces, Pattern<? super CheckedList<LLJava.StackFrameDelta>> p_stackMap)
static Pattern<? super LLJava.GotoInterval>	LLJava.__Patterns.term_GotoInterval(Pattern<? super LLJava.CodeInterval> superpattern, Pattern<? super LLJava.Name> p_start, Pattern<? super LLJava.Name> p_end, Pattern<? super LLJava.Block> p_startTarget, Pattern<? super LLJava.Block> p_endTarget)
static Pattern<? super LLJava.GotoInterval>	LLJava.__Patterns.term_GotoInterval(Pattern<? super LLJava.CodeInterval> superpattern, Pattern<? super LLJava.Name> p_start, Pattern<? super LLJava.Name> p_end, Pattern<? super LLJava.Block> p_startTarget, Pattern<? super LLJava.Block> p_endTarget)
static Pattern<? super LLJava.GotoPoint>	LLJava.__Patterns.term_GotoPoint(Pattern<? super LLJava.CodePoint> superpattern, Pattern<? super LLJava.Name> p_id, Pattern<? super LLJava.Block> p_target)
static Pattern<? super LLJava.InlineInterval>	LLJava.__Patterns.term_InlineInterval(Pattern<? super LLJava.CodeInterval> superpattern, Pattern<? super LLJava.Block> p_body)
static Pattern<? super LLJava.InlinePoint>	LLJava.__Patterns.term_InlinePoint(Pattern<? super LLJava.CodePoint> superpattern, Pattern<? super LLJava.Block> p_body)

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

Constructor and Description
CodeMethodBody(LLJava.Block block) Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".
InlineInterval(LLJava.Block body) Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".
InlinePoint(LLJava.Block body) Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".

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

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

Modifier and Type	Method and Description
protected void	Encoder.pre(LLJava.Block x)
void	ByteSink.refer(LLJava.Block b)
void	ByteSink.relocAbsolute16(LLJava.Block b)
void	ByteSink.relocRelative16(int offset, LLJava.Block b)
void	ByteSink.relocRelative32(int offset, LLJava.Block b)

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

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

Modifier and Type	Field and Description
protected LLJava.Block	BaseCompilationContext.environmentInitializer
protected LLJava.Block	BaseCompilationContext.environmentInitializer
protected LLJava.Block	BaseCompilationContext.stateInitializer
protected LLJava.Block	BaseCompilationContext.stateInitializer

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

Modifier and Type	Method and Description
protected LLJava.Block	BaseCompilationContext.getBlock()
protected LLJava.Block	BaseCompilationContext.getBlock()

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

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

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

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

Modifier and Type	Field and Description
Expression<SourceId,LLJavaLexer.TokenType,LLJava.Block>	LLJavaGrammar.block

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

Modifier and Type	Method and Description
protected abstract LLJava.Block	LLJavaGrammar.block(Reducer.Context<SourceId> context, List<LLJava.Statement> statements)
protected LLJava.Block	LLJavaParser.block(Reducer.Context<SourceId> context, List<LLJava.Statement> statements)

Methods in eu.bandm.tools.lljava.parser that return types with arguments of type LLJava.Block

Modifier and Type	Method and Description
Expression<SourceId,LLJavaLexer.TokenType,LLJava.Block>	LLJavaGrammar.block(Expression<SourceId,LLJavaLexer.TokenType,LLJava.Block> block)

Methods in eu.bandm.tools.lljava.parser with parameters of type LLJava.Block

Modifier and Type	Method and Description
protected abstract LLJava.CodeMethodBody	LLJavaGrammar.codeMethodBody(Reducer.Context<SourceId> context, LLJava.Block block)
protected LLJava.CodeMethodBody	LLJavaParser.codeMethodBody(Reducer.Context<SourceId> context, LLJava.Block block)

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

Modifier and Type	Method and Description
Expression<SourceId,LLJavaLexer.TokenType,LLJava.Block>	LLJavaGrammar.block(Expression<SourceId,LLJavaLexer.TokenType,LLJava.Block> block)
Expression<SourceId,LLJavaLexer.TokenType,LLJava.Handler>	LLJavaGrammar.catchHandler(Expression<SourceId,LLJavaLexer.TokenType,LLJava.Block> block)
Expression<SourceId,LLJavaLexer.TokenType,LLJava.CodeInterval>	LLJavaGrammar.codeInterval(Expression<SourceId,LLJavaLexer.TokenType,LLJava.Block> block)
Expression<SourceId,LLJavaLexer.TokenType,LLJava.CodePoint>	LLJavaGrammar.codeReference(Expression<SourceId,LLJavaLexer.TokenType,LLJava.Block> block)
Expression<SourceId,LLJavaLexer.TokenType,LLJava.If>	LLJavaGrammar.ifInstruction(Expression<SourceId,LLJavaLexer.TokenType,LLJava.Block> block)
Expression<SourceId,LLJavaLexer.TokenType,LLJava.InlineInterval>	LLJavaGrammar.inlineInterval(Expression<SourceId,LLJavaLexer.TokenType,LLJava.Block> block)
Expression<SourceId,LLJavaLexer.TokenType,LLJava.InlinePoint>	LLJavaGrammar.inlineReference(Expression<SourceId,LLJavaLexer.TokenType,LLJava.Block> block)
Expression<SourceId,LLJavaLexer.TokenType,LLJava.Instruction>	LLJavaGrammar.instruction(Expression<SourceId,LLJavaLexer.TokenType,LLJava.Block> block)
Expression<SourceId,LLJavaLexer.TokenType,LLJava.Statement>	LLJavaGrammar.statement(Expression<SourceId,LLJavaLexer.TokenType,LLJava.Block> block)
Expression<SourceId,LLJavaLexer.TokenType,LLJava.Case>	LLJavaGrammar.switchCase(Expression<SourceId,LLJavaLexer.TokenType,LLJava.Block> block)
Expression<SourceId,LLJavaLexer.TokenType,LLJava.Switch>	LLJavaGrammar.switchInstruction(Expression<SourceId,LLJavaLexer.TokenType,LLJava.Block> block)
Expression<SourceId,LLJavaLexer.TokenType,LLJava.Try>	LLJavaGrammar.tryInstruction(Expression<SourceId,LLJavaLexer.TokenType,LLJava.Block> block)