Package eu.bandm.tools.lljava.absy
package 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. This package
is the central data representation for serialization, de-serialization, analysis,
verification etc.
It consists mainly of two different UMod-Models:
The API doc of this package refers with [JVM] to Lindholm, Yelling et.al, The Java® Virtual Machine Specification -- Java SE 7 Edition.
It consists mainly of two different UMod-Models:
LLJava
with this source and
Verify
with this source.
The API doc of this package refers with [JVM] to Lindholm, Yelling et.al, The Java® Virtual Machine Specification -- Java SE 7 Edition.
-
ClassDescriptionPointed intervals of integers.Qualitative location relationships between two intervals.Umod main model class: Abstract Syntax of LLJava.(Ancillary class for generating pretty-print format objects).Ancillary class providing Paisley compound patterns.Generated by umod; model author's documentation MISSING.Common superclass for all machine word types.Syntactic expression defining an
abstract
ornative
method.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression specifying an annotation.Generated by umod; model author's documentation MISSING.Abstract base class of the various kinds of values of annotation element–value pairs.Abstract object for dynamic creation of fresh ad-hoc identities.Generated by umod; model author's documentation MISSING.Syntactic expression denoting an array access.An array of annotation values.Generated by umod; model author's documentation MISSING.Syntactic expression denoting an array type.Abstract base class of nodes that can carry bytecode attributes.Generated by umod; model author's documentation MISSING.A sequential container for statements.Syntactic expression denoting aboolean
literal.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression denoting aswitch
case.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression denoting achar
literal.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Definition of a class.A class literal.Syntactic expression denoting a class literal.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression referring to a class.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression denoting a class type.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Specification of a code interval as the scope of a variable or exception handler.Syntactic expression defining the body of a method by code.Specification of a code point as a jump target.Symbolic constants for the JVM branch conditions, all represented uniformly in LLJava by theLLJava.If
instruction.A primitive constant orString
literal.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Abstract base class of constant pool entries.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression defining the body of a method by an annotation default value.Syntactic expression specifying a dimension of an array type.Generated by umod; model author's documentation MISSING.Syntactic expression denoting adouble
literal.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression denoting a dynamic value.Generated by umod; model author's documentation MISSING.An enum constant.Specification of an exception handler table entry.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Name given in source code.Definition of a field.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression denoting a field reference.Generated by umod; model author's documentation MISSING.Syntactic expression denoting afloat
literal.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression denoting a labeled code interval by name.Syntactic expression denoting a labeled code point by name.Symbolic constants for the bytecode behaviors for method handles.Syntactic expression denoting an exception handler for atry
instruction.Simple identifier for packages, classes, fields, methods, parameters, etc.Generated by umod; model author's documentation MISSING.Synthethic name, not given in source code.Generated by umod; model author's documentation MISSING.Syntactic expression denoting the full extent of an inteval defined inline.Syntactic expression denoting the entry point of a block defined inline.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Abstract base class of all instructions.Generated by umod; model author's documentation MISSING.Syntactic expression denoting anint
literal.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression denoting a variant of theinvoke
instruction family.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.A label statement.Generated by umod; model author's documentation MISSING.Syntactic expression denoting a primitive orString
literal.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Abstract base class of representations of everything that can be loaded onto the operand stack using theldc
instruction.Abstract base class of representations of everything that can be loaded onto the operand stack.Definition of a local variable.Definition of a local class.Syntactic expression denoting along
literal.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Specification of a lower (@{code super}) type bound.(Ancillary class as basis for all visitors).Abstract base class of fields and methods.Syntactic expression denoting the name of a field or method with dynamic owner.Abstract base class for field and method names.Generated by umod; model author's documentation MISSING.Abstract base class of field and method references.Syntactic expression denoting the name of a field or method with static owner.Definition of a method.Specification of the body of a method.Generated by umod; model author's documentation MISSING.Syntactic expression denoting a method handle.Abstract base class of instructions that may be reified as method handle targets.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression denoting a method reference.Syntactic expression denoting a formal parameter for a method reference.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression denoting a method type.Abstract base class of nodes that can carry annotations and modifiers.Symbolic constants for all bit flags used to denote access permissions to and properties of classes, fields and methods.Abstract base class of syntactic expressions specifying modifiers or annotations.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Visitor generated by umod according to field selection #0.Local name for parameters, local variables or labels.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.A nested annotation.Generated by umod; model author's documentation MISSING.Topmost class for everything in a classfile which is possibly related to some source text.Generated by umod; model author's documentation MISSING.Syntactic expression denoting anull
value.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Specification of a formal parameter of a method.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression denoting a primitive type.Generated by umod; model author's documentation MISSING.Qualified identifier for packages, classes, fields or methods.Syntactic expression denoting a reference type.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Method return type.Specification of the result of a function.Generated by umod; model author's documentation MISSING.Syntactic expression specifying the return type of a function.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression specifying a modifier.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression denoting an anonymous variable slot reference.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Abstract base class of all statements.Generated by umod; model author's documentation MISSING.Abstract base class of representations of everything that can be both loaded onto and stored off the operand stack.Symbolic constants for the ways the JVM may invoke a method, all represented uniformly in LLJava by theLLJava.Invoke
instruction.Syntactic expression denoting aString
literal.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression denoting athis
reference.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Specification of a type parameter value.Specification of a type bound.Syntactic expression denoting a type.Generated by umod; model author's documentation MISSING.Specification of a formal type parameter of a class or method.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Specification of an upper (@{code extends}) type bound.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression denoting a local variable reference.Visitor generated by umod according to field selection #0.Method return typevoid
.Syntactic expression specifying a function as void.Generated by umod; model author's documentation MISSING.Generated by umod; model author's documentation MISSING.Syntactic expression denoting a wildcard type.Generated by umod; model author's documentation MISSING.An algorithm for finding all loops in a method code array.Created on 2024-09-03_20h50m03
by program bandm/metatools/umod, version 0.17
command line =
java bandm/metatools/umod --xmlgen false --getterfunctions false --patterns true $(HOME)/metatools/src eu.bandm.tools.lljava.absy Verify.umod(Ancillary class for generating pretty-print format objects).Ancillary class providing Paisley compound patterns.(Ancillary class as basis for all visitors).