See: Description
| Class | Description |
|---|---|
| CodeSerializer | |
| ConstantPoolCollector | |
| ContextChecker | |
| ControlFlowAnalyzer | |
| ControlFlowSynthesizer | |
| ExceptionTableCollector | |
| Factory | |
| FormatUtils | |
| Interval |
Pointed intervals of integers.
|
| Interval.Tree<A> | |
| Interval.Union | |
| LLJava |
Umod main model class: Abstract Syntax of
LLJava.
|
| LLJava.__Formatter |
(Ancillary class for generating pretty-print format objects).
|
| LLJava.__Patterns |
Ancillary class providing Paisley compound patterns.
|
| LLJava.AbstractDynamic |
Generated by umod; model author's documentation MISSING.
|
| LLJava.AbstractIntVType |
Common superclass for all machine word types.
|
| LLJava.AbstractMethodBody |
Syntactic expression defining an
abstract or
native method. |
| LLJava.AbstractMethodRef |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Add |
Generated by umod; model author's documentation MISSING.
|
| LLJava.And |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Annotation |
Syntactic expression specifying an annotation.
|
| LLJava.AnnotationDefaultAttribute |
Generated by umod; model author's documentation MISSING.
|
| LLJava.AnnotationValue |
Abstract base class of the various kinds of values
of
annotation element–value pairs.
|
| LLJava.Anonymity |
Abstract object for dynamic creation of fresh ad-hoc
identities.
|
| LLJava.ArithInstruction |
Generated by umod; model author's documentation MISSING.
|
| LLJava.ArrayAccess |
Syntactic expression denoting an array access.
|
| LLJava.ArrayAnnotationValue |
An array of annotation values.
|
| LLJava.ArrayType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.ArrayTypeExpr |
Syntactic expression denoting an array type.
|
| LLJava.Attributable |
Abstract base class of nodes that can carry bytecode
attributes.
|
| LLJava.Attribute |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Block |
A sequential container for statements.
|
| LLJava.BooleanLiteral |
Syntactic expression denoting a
boolean
literal. |
| LLJava.BooleanType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.BooleanVType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.BootstrapMethod |
Generated by umod; model author's documentation MISSING.
|
| LLJava.BootstrapMethodsAttribute |
Generated by umod; model author's documentation MISSING.
|
| LLJava.ByteType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.ByteVType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Case |
Syntactic expression denoting a
switch case. |
| LLJava.Cast |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Category1VType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Category2VType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.CharLiteral |
Syntactic expression denoting a
char
literal. |
| LLJava.CharType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.CharVType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Class |
Definition of a class.
|
| LLJava.ClassAnnotationValue |
A class literal.
|
| LLJava.ClassExpr |
Syntactic expression denoting a class literal.
|
| LLJava.ClassParent |
Generated by umod; model author's documentation MISSING.
|
| LLJava.ClassRef |
Generated by umod; model author's documentation MISSING.
|
| LLJava.ClassReference |
Syntactic expression referring to a class.
|
| LLJava.ClassSignatureAttribute |
Generated by umod; model author's documentation MISSING.
|
| LLJava.ClassType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.ClassTypeExpr |
Syntactic expression denoting a class type.
|
| LLJava.Cmp |
Generated by umod; model author's documentation MISSING.
|
| LLJava.CmpFloating |
Generated by umod; model author's documentation MISSING.
|
| LLJava.CmpGT |
Generated by umod; model author's documentation MISSING.
|
| LLJava.CmpIntegral |
Generated by umod; model author's documentation MISSING.
|
| LLJava.CmpLT |
Generated by umod; model author's documentation MISSING.
|
| LLJava.CodeAttribute |
Generated by umod; model author's documentation MISSING.
|
| LLJava.CodeInterval |
Specification of a code interval as the scope of a
variable or
exception handler.
|
| LLJava.CodeMethodBody |
Syntactic expression defining the body of a method
by code.
|
| LLJava.CodePoint |
Specification of a code point as a jump target.
|
| LLJava.ConstantAnnotationValue |
A primitive constant or
String literal. |
| LLJava.ConstantDouble |
Generated by umod; model author's documentation MISSING.
|
| LLJava.ConstantDoubleValue |
Generated by umod; model author's documentation MISSING.
|
| LLJava.ConstantFloat |
Generated by umod; model author's documentation MISSING.
|
| LLJava.ConstantInteger |
Generated by umod; model author's documentation MISSING.
|
| LLJava.ConstantLong |
Generated by umod; model author's documentation MISSING.
|
| LLJava.ConstantPoolEntry |
Abstract base class of constant pool entries.
|
| LLJava.ConstantSingleValue |
Generated by umod; model author's documentation MISSING.
|
| LLJava.ConstantString |
Generated by umod; model author's documentation MISSING.
|
| LLJava.ConstantUTF8 |
Generated by umod; model author's documentation MISSING.
|
| LLJava.ConstantValueAttribute |
Generated by umod; model author's documentation MISSING.
|
| LLJava.CustomAttribute |
Generated by umod; model author's documentation MISSING.
|
| LLJava.DefaultMethodBody |
Syntactic expression defining the body of a method
by an annotation default value.
|
| LLJava.DimensionExpr |
Syntactic expression specifying a dimension of an
array type.
|
| LLJava.Div |
Generated by umod; model author's documentation MISSING.
|
| LLJava.DoubleLiteral |
Syntactic expression denoting a
double
literal. |
| LLJava.DoubleType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.DoubleVType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Dup |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Dynamic |
Generated by umod; model author's documentation MISSING.
|
| LLJava.DynamicExpr |
Syntactic expression denoting a dynamic value.
|
| LLJava.Enter |
Generated by umod; model author's documentation MISSING.
|
| LLJava.EnumAnnotationValue |
An enum constant.
|
| LLJava.Exception |
Specification of an exception handler table entry.
|
| LLJava.ExceptionsAttribute |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Exit |
Generated by umod; model author's documentation MISSING.
|
| LLJava.ExplicitName |
Name given in source code.
|
| LLJava.Field |
Definition of a field.
|
| LLJava.FieldAccess |
Generated by umod; model author's documentation MISSING.
|
| LLJava.FieldRef |
Generated by umod; model author's documentation MISSING.
|
| LLJava.FieldReference |
Syntactic expression denoting a field reference.
|
| LLJava.FieldSignatureAttribute |
Generated by umod; model author's documentation MISSING.
|
| LLJava.FloatLiteral |
Syntactic expression denoting a
float
literal. |
| LLJava.FloatType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.FloatVType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Get |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Goto |
Generated by umod; model author's documentation MISSING.
|
| LLJava.GotoInterval |
Syntactic expression denoting a labeled code
interval by name.
|
| LLJava.GotoPoint |
Syntactic expression denoting a labeled code point
by name.
|
| LLJava.Handler |
Syntactic expression denoting an exception handler
for a
try instruction. |
| LLJava.Id |
Simple identifier for packages, classes, fields,
methods,
parameters, etc.
|
| LLJava.If |
Generated by umod; model author's documentation MISSING.
|
| LLJava.ImplicitName |
Synthethic name, not given in source code.
|
| LLJava.Inc |
Generated by umod; model author's documentation MISSING.
|
| LLJava.InlineInterval |
Syntactic expression denoting the full extent of an
inteval
defined inline.
|
| LLJava.InlinePoint |
Syntactic expression denoting the entry point of a
block
defined inline.
|
| LLJava.InnerClass |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Instanceof |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Instruction |
Abstract base class of all instructions.
|
| LLJava.InterfaceMethodRef |
Generated by umod; model author's documentation MISSING.
|
| LLJava.IntLiteral |
Syntactic expression denoting an
int
literal. |
| LLJava.IntType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.IntVType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Invoke |
Syntactic expression denoting a variant of the
invoke
instruction family. |
| LLJava.InvokeDynamic |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Jump |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Label |
A label statement.
|
| LLJava.Length |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Literal |
Syntactic expression denoting a primitive or
String literal. |
| LLJava.Load |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Loadable |
Generated by umod; model author's documentation MISSING.
|
| LLJava.LoadableExpr |
Abstract base class of representations of everything
that can
be loaded onto the operand stack using the
ldc instruction. |
| LLJava.LoadArgument |
Abstract base class of representations of everything
that can
be loaded onto the operand stack.
|
| LLJava.Local |
Definition of a local variable.
|
| LLJava.LocalClass |
Definition of a local class.
|
| LLJava.LongLiteral |
Syntactic expression denoting a
long
literal. |
| LLJava.LongType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.LongVType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.LowerTypeBound |
Specification of a lower (@{code super}) type bound.
|
| LLJava.MATCH_ONLY_00 |
(Ancillary class as basis for all visitors).
|
| LLJava.Member |
Abstract base class of fields and methods.
|
| LLJava.MemberDynamicName |
Syntactic expression denoting the name of a field or
method
with dynamic owner.
|
| LLJava.MemberFullName |
Abstract base class for field and method names.
|
| LLJava.MemberRef |
Generated by umod; model author's documentation MISSING.
|
| LLJava.MemberReference |
Abstract base class of field and method references.
|
| LLJava.MemberStaticName |
Syntactic expression denoting the name of a field or
method
with static owner.
|
| LLJava.Method |
Definition of a method.
|
| LLJava.MethodBody |
Specification of the body of a method.
|
| LLJava.MethodHandle |
Generated by umod; model author's documentation MISSING.
|
| LLJava.MethodHandleExpr |
Syntactic expression denoting a method handle.
|
| LLJava.MethodHandleTarget |
Abstract base class of instructions that may be
reified as
method handle targets.
|
| LLJava.MethodName |
Generated by umod; model author's documentation MISSING.
|
| LLJava.MethodRef |
Generated by umod; model author's documentation MISSING.
|
| LLJava.MethodReference |
Syntactic expression denoting a method reference.
|
| LLJava.MethodReferenceParameter |
Syntactic expression denoting a formal parameter for
a method
reference.
|
| LLJava.MethodSignatureAttribute |
Generated by umod; model author's documentation MISSING.
|
| LLJava.MethodType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.MethodTypeExpr |
Syntactic expression denoting a method type.
|
| LLJava.Modifiable |
Abstract base class of nodes that can carry
annotations and modifiers.
|
| LLJava.ModifierExpr |
Abstract base class of syntactic expressions
specifying
modifiers or annotations.
|
| LLJava.Monitor |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Mul |
Generated by umod; model author's documentation MISSING.
|
| LLJava.MultiVisitor |
Visitor generated by umod according to field selection #0.
|
| LLJava.Name |
Local name for parameters, local variables or
labels.
|
| LLJava.NameAndType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Neg |
Generated by umod; model author's documentation MISSING.
|
| LLJava.NestedAnnotationValue |
A nested annotation.
|
| LLJava.New |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Node |
Topmost class for everything in a classfile which is
possibly related to
some source text.
|
| LLJava.Nop |
Generated by umod; model author's documentation MISSING.
|
| LLJava.NullLiteral |
Syntactic expression denoting a
null value. |
| LLJava.NullVType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.ObjectVType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.OneWordVType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Or |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Parameter |
Specification of a formal parameter of a method.
|
| LLJava.Pop |
Generated by umod; model author's documentation MISSING.
|
| LLJava.PrimitiveType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.PrimitiveTypeExpr |
Syntactic expression denoting a primitive type.
|
| LLJava.Put |
Generated by umod; model author's documentation MISSING.
|
| LLJava.QualId |
Qualified identifier for packages, classes, fields
or
methods.
|
| LLJava.ReferenceTypeExpr |
Syntactic expression denoting a reference type.
|
| LLJava.ReferenceVType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.RefType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Rem |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Result |
Method return type.
|
| LLJava.ResultExpr |
Specification of the result of a function.
|
| LLJava.Return |
Generated by umod; model author's documentation MISSING.
|
| LLJava.ReturnsExpr |
Syntactic expression specifying the return type of a
function.
|
| LLJava.Shift |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Shl |
Generated by umod; model author's documentation MISSING.
|
| LLJava.ShortType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.ShortVType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Shr |
Generated by umod; model author's documentation MISSING.
|
| LLJava.SignatureAttribute |
Generated by umod; model author's documentation MISSING.
|
| LLJava.SimpleModifierExpr |
Syntactic expression specifying a modifier.
|
| LLJava.Slot |
Generated by umod; model author's documentation MISSING.
|
| LLJava.SlotRef |
Generated by umod; model author's documentation MISSING.
|
| LLJava.SlotReference |
Syntactic expression denoting an anonymous variable
slot reference.
|
| LLJava.StackFrame |
Generated by umod; model author's documentation MISSING.
|
| LLJava.StackFrameDelta |
Generated by umod; model author's documentation MISSING.
|
| LLJava.StackMapTableAttribute |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Statement |
Abstract base class of all statements.
|
| LLJava.Store |
Generated by umod; model author's documentation MISSING.
|
| LLJava.StoreArgument |
Abstract base class of representations of everything
that can
be both loaded onto and stored off the operand stack.
|
| LLJava.StringLiteral |
Syntactic expression denoting a
String
literal. |
| LLJava.Sub |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Swap |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Switch |
Generated by umod; model author's documentation MISSING.
|
| LLJava.This |
Syntactic expression denoting a
this
reference. |
| LLJava.Throw |
Generated by umod; model author's documentation MISSING.
|
| LLJava.TopVType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Try |
Generated by umod; model author's documentation MISSING.
|
| LLJava.TwoWordVType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Type |
Generated by umod; model author's documentation MISSING.
|
| LLJava.TypeArgument |
Specification of a type parameter value.
|
| LLJava.TypeBound |
Specification of a type bound.
|
| LLJava.TypeExpr |
Syntactic expression denoting a type.
|
| LLJava.TypeInstruction |
Generated by umod; model author's documentation MISSING.
|
| LLJava.TypeParameter |
Specification of a formal type parameter of a class
or method.
|
| LLJava.UninitializedNewVType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.UninitializedThisVType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.UninitializedVType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.UpperTypeBound |
Specification of an upper (@{code extends}) type
bound.
|
| LLJava.UShr |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Variable |
Generated by umod; model author's documentation MISSING.
|
| LLJava.VariableAccess |
Generated by umod; model author's documentation MISSING.
|
| LLJava.VariableRef |
Syntactic expression denoting a local variable
reference.
|
| LLJava.Visitor |
Visitor generated by umod according to field selection #0.
|
| LLJava.Void |
Method return type
void. |
| LLJava.VoidExpr |
Syntactic expression specifying a function as void.
|
| LLJava.VType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.WideType |
Generated by umod; model author's documentation MISSING.
|
| LLJava.Wildcard |
Syntactic expression denoting a wildcard type.
|
| LLJava.XOr |
Generated by umod; model author's documentation MISSING.
|
| LoopFinder |
An algorithm for finding all loops in a method code array.
|
| SemanticUtils | |
| SourceId | |
| StoreLoadOptimizer | |
| TypeChecker | |
| VariableFinder | |
| Verify |
Created on 2022-06-30_15h11m17
by program bandm/metatools/umod, version 0.17 command line = bandm/metatools/umod --xmlgen false --getterfunctions false --patterns true $(HOME)/metatools/src eu.bandm.tools.lljava.absy Verify.umod |
| Verify.__Formatter |
(Ancillary class for generating pretty-print format objects).
|
| Verify.__Patterns |
Ancillary class providing Paisley compound patterns.
|
| Verify.Category1 | |
| Verify.Category2 | |
| Verify.Double | |
| Verify.Float | |
| Verify.Int | |
| Verify.Long | |
| Verify.MATCH_ONLY_00 |
(Ancillary class as basis for all visitors).
|
| Verify.Null | |
| Verify.Object | |
| Verify.OneWord | |
| Verify.Reference | |
| Verify.Top | |
| Verify.TwoWord | |
| Verify.Type | |
| Verify.Uninitialized | |
| Verify.UninitializedNew | |
| Verify.UninitializedThis |
| Enum | Description |
|---|---|
| Interval.Relation |
Qualitative location relationships between two intervals.
|
| LLJava.Condition |
Symbolic constants for the JVM branch conditions,
all represented
uniformly in LLJava by the
LLJava.If instruction. |
| LLJava.HandleKind |
Symbolic constants for the bytecode behaviors for
method handles.
|
| LLJava.Modifier |
Symbolic constants for all bit flags used to denote
access permissions
to and properties of classes, fields and methods.
|
| LLJava.Strategy |
Symbolic constants for the ways the JVM may invoke a
method,
all represented uniformly in LLJava by the
LLJava.Invoke instruction. |
LLJava with this source and
Verify with this source.
see also the complete user documentation .