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	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.
(package private) LLJava.Block	ControlFlowAnalyzer.ControlFlow.Item.next
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	Description
(package private) final Map<LLJava.Name,LLJava.Block>	ContextChecker.EnvironmentAnnotator.controlEnv
(package private) final Map<LLJava.Name,LLJava.Block>	ContextChecker.LabelFinder.controlEnv
protected CheckedMap_RD<LLJava.Name,LLJava.Block>	LLJava.Block.controlEnv	Generated by umod; model author's documentation MISSING.
(package private) Map<LLJava.Block,LLJava.Block>	ControlFlowAnalyzer.ControlFlow.fallthrough
(package private) Map<LLJava.Block,LLJava.Block>	ControlFlowAnalyzer.ControlFlow.fallthrough
(package private) Map<LLJava.Block,LLJava.Instruction>	ControlFlowAnalyzer.ControlFlow.first
(package private) Map<LLJava.Block,LLJava.Instruction>	ControlFlowAnalyzer.ControlFlow.follow

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

Modifier and Type	Method	Description
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.
(package private) LLJava.Block	ContextChecker.EnvironmentAnnotator.resolveControl(LLJava.Name label)

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

Modifier and Type	Method	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<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	Description
protected void	CodeSerializer.action(LLJava.Block b)
protected void	ContextChecker.EnvironmentAnnotator.action(LLJava.Block x)
protected void	ContextChecker.LabelCollector.action(LLJava.Block x)
protected void	ContextChecker.LabelFinder.action(LLJava.Block x)
protected void	ExceptionTableCollector.Collector.action(LLJava.Block b)
protected void	LLJava.__Formatter.action(LLJava.Block el)
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.MultiVisitor.descend(LLJava.Block e0)
void	LLJava.MultiVisitor.follow_controlEnv(LLJava.Block element)
void	LLJava.Visitor.follow_controlEnv(LLJava.Block element)
void	LLJava.MultiVisitor.follow_dataEnv(LLJava.Block element)
void	LLJava.Visitor.follow_dataEnv(LLJava.Block element)
void	LLJava.MultiVisitor.follow_elems(LLJava.Block element)
void	LLJava.Visitor.follow_elems(LLJava.Block element)
void	LLJava.MultiVisitor.follow_labels(LLJava.Block element)
void	LLJava.Visitor.follow_labels(LLJava.Block element)
void	LLJava.MATCH_ONLY_00.followAll_controlEnv(LLJava.Block element)
void	LLJava.MATCH_ONLY_00.followAll_dataEnv(LLJava.Block element)
void	LLJava.MATCH_ONLY_00.followAll_elems(LLJava.Block element)
void	LLJava.MATCH_ONLY_00.followAll_labels(LLJava.Block element)
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.
(package private) void	ContextChecker.EnvironmentAnnotator.superaction(LLJava.Block x)
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	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.

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

Modifier	Constructor	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/..".
(package private)	Item(LLJava.Instruction prev, LLJava.Block next, boolean jumpy)

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

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

Modifier and Type	Field	Description
(package private) LLJava.Block	ByteSink.Relocandum.target

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

Modifier and Type	Method	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)

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

Modifier	Constructor	Description
(package private)	Relocandum(ByteSink.Relocandum.Width width, int base, LLJava.Block target)

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	Description
protected final LLJava.Block	BaseCompilationContext.environmentInitializer
protected final LLJava.Block	BaseCompilationContext.stateInitializer

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

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

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

Modifier and Type	Method	Description
protected void	BaseCompilationContext.pushFrame(LLJava.Block block, List<VariableContext.Variable> inputs, List<VariableContext.Variable> outputs)
protected void	BaseCompilationContext.pushFrame(LLJava.Method owner, LLJava.Block block, List<VariableContext.Variable> inputs, List<VariableContext.Variable> outputs)
void	BaseCompilationContext.startBlock(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	Description
final Expression<SourceId,LLJavaLexer.TokenType,LLJava.Block>	LLJavaGrammar.block

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

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