Class LLJava

java.lang.Object
eu.bandm.tools.lljava.absy.LLJava

public class LLJava extends Object
Umod main model class:
Abstract Syntax of LLJava. It represents 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, verification etc.
The API doc of this package refers with [JVM] to Lindholm, Yellin et.al., The Java® Virtual Machine Specification -- Java SE 7 Edition.
(This definition has been created by UMod from the source at SYSTEM "LLJava.umod":1.1-1392.5, see this pretty print.)

Created on 2024-03-03_16h31m02
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 LLJava.umod
Cf. the pretty-printed UMod source text.

  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Class
    Description
    static class 
    (Ancillary class for generating pretty-print format objects).
    static class 
    Ancillary class providing Paisley compound patterns.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Common superclass for all machine word types.
    static class 
    Syntactic expression defining an abstract or native method.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Syntactic expression specifying an annotation.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Abstract base class of the various kinds of values of annotation element–value pairs.
    static class 
    Abstract object for dynamic creation of fresh ad-hoc identities.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Syntactic expression denoting an array access.
    static class 
    An array of annotation values.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Syntactic expression denoting an array type.
    static class 
    Abstract base class of nodes that can carry bytecode attributes.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    A sequential container for statements.
    static class 
    Syntactic expression denoting a boolean literal.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Syntactic expression denoting a switch case.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Syntactic expression denoting a char literal.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Definition of a class.
    static class 
    A class literal.
    static class 
    Syntactic expression denoting a class literal.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Syntactic expression referring to a class.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Syntactic expression denoting a class type.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Specification of a code interval as the scope of a variable or exception handler.
    static class 
    Syntactic expression defining the body of a method by code.
    static class 
    Specification of a code point as a jump target.
    static enum 
    Symbolic constants for the JVM branch conditions, all represented uniformly in LLJava by the LLJava.If instruction.
    static class 
    A primitive constant or String literal.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Abstract base class of constant pool entries.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Syntactic expression defining the body of a method by an annotation default value.
    static class 
    Syntactic expression specifying a dimension of an array type.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Syntactic expression denoting a double literal.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Syntactic expression denoting a dynamic value.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    An enum constant.
    static class 
    Specification of an exception handler table entry.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Name given in source code.
    static class 
    Definition of a field.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Syntactic expression denoting a field reference.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Syntactic expression denoting a float literal.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Syntactic expression denoting a labeled code interval by name.
    static class 
    Syntactic expression denoting a labeled code point by name.
    static enum 
    Symbolic constants for the bytecode behaviors for method handles.
    static class 
    Syntactic expression denoting an exception handler for a try instruction.
    static class 
    Simple identifier for packages, classes, fields, methods, parameters, etc.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Synthethic name, not given in source code.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Syntactic expression denoting the full extent of an inteval defined inline.
    static class 
    Syntactic expression denoting the entry point of a block defined inline.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Abstract base class of all instructions.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Syntactic expression denoting an int literal.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Syntactic expression denoting a variant of the invoke instruction family.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    A label statement.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Syntactic expression denoting a primitive or String literal.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Abstract base class of representations of everything that can be loaded onto the operand stack using the ldc instruction.
    static class 
    Abstract base class of representations of everything that can be loaded onto the operand stack.
    static class 
    Definition of a local variable.
    static class 
    Definition of a local class.
    static class 
    Syntactic expression denoting a long literal.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Specification of a lower (@{code super}) type bound.
    static class 
    (Ancillary class as basis for all visitors).
    static class 
    Abstract base class of fields and methods.
    static class 
    Syntactic expression denoting the name of a field or method with dynamic owner.
    static class 
    Abstract base class for field and method names.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Abstract base class of field and method references.
    static class 
    Syntactic expression denoting the name of a field or method with static owner.
    static class 
    Definition of a method.
    static class 
    Specification of the body of a method.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Syntactic expression denoting a method handle.
    static class 
    Abstract base class of instructions that may be reified as method handle targets.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Syntactic expression denoting a method reference.
    static class 
    Syntactic expression denoting a formal parameter for a method reference.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Syntactic expression denoting a method type.
    static class 
    Abstract base class of nodes that can carry annotations and modifiers.
    static enum 
    Symbolic constants for all bit flags used to denote access permissions to and properties of classes, fields and methods.
    static class 
    Abstract base class of syntactic expressions specifying modifiers or annotations.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Visitor generated by umod according to field selection #0.
    static class 
    Local name for parameters, local variables or labels.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    A nested annotation.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Topmost class for everything in a classfile which is possibly related to some source text.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Syntactic expression denoting a null value.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Specification of a formal parameter of a method.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Syntactic expression denoting a primitive type.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Qualified identifier for packages, classes, fields or methods.
    static class 
    Syntactic expression denoting a reference type.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Method return type.
    static class 
    Specification of the result of a function.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Syntactic expression specifying the return type of a function.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Syntactic expression specifying a modifier.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Syntactic expression denoting an anonymous variable slot reference.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Abstract base class of all statements.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Abstract base class of representations of everything that can be both loaded onto and stored off the operand stack.
    static enum 
    Symbolic constants for the ways the JVM may invoke a method, all represented uniformly in LLJava by the LLJava.Invoke instruction.
    static class 
    Syntactic expression denoting a String literal.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Syntactic expression denoting a this reference.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Specification of a type parameter value.
    static class 
    Specification of a type bound.
    static class 
    Syntactic expression denoting a type.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Specification of a formal type parameter of a class or method.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Specification of an upper (@{code extends}) type bound.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Syntactic expression denoting a local variable reference.
    static class 
    Visitor generated by umod according to field selection #0.
    static class 
    Method return type void.
    static class 
    Syntactic expression specifying a function as void.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Generated by umod; model author's documentation MISSING.
    static class 
    Syntactic expression denoting a wildcard type.
    static class 
    Generated by umod; model author's documentation MISSING.
  • Method Summary

    Modifier and Type
    Method
    Description
    static Format
    Yields a pretty-print format for arbitrary objects.
    static Format
    toFormat(Object e0, Integer mode)
    Yields a pretty-print format for arbitrary objects.

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
  • Method Details

    • toFormat

      public static Format toFormat(Object e0)
      Yields a pretty-print format for arbitrary objects.
      Parameters:
      e0 - the object to render.
    • toFormat

      public static Format toFormat(Object e0, Integer mode)
      Yields a pretty-print format for arbitrary objects.
      Parameters:
      e0 - the object to render.
      mode - an integer mode selector read by the $switch$mode.. construct in format definitions. This allows small variants in the generated pretty-print.