// Rendered by UMod Pretty Printer at 2024-09-15_20h22m54
// See also the UMod user documentation online.

MODEL LLJava =
  EXT Character FROM java.lang.Character
  EXT String FROM java.lang.String
  EXT Integer FROM java.lang.Integer
  EXT Long FROM java.lang.Long
  EXT Float FROM java.lang.Float
  EXT Double FROM java.lang.Double
  EXT SourceId SOURCE FROM eu.bandm.tools.lljava.absy.SourceId
  EXT Location SOURCE FROM eu.bandm.tools.location.Location

  ENUM <a id='_def_HandleKind' class='aDef' title='Symbolic constants for the bytecode behaviors for method handles.

See Also:


' name='_def_SimpleModifierExpr' href='../LLJava.SimpleModifierExpr.html'>SimpleModifierExpr
        modifier    Modifier
  | CodeInterval ABSTRACT
  | | InlineInterval
        body        Block
  | | GotoInterval
        start       Name
        end         OPT Name
        startTarget OPT Block
        endTarget   OPT Block
  | MethodBody ABSTRACT
  | | AbstractMethodBody
  | | DefaultMethodBody
        value       AnnotationValue
  | | CodeMethodBody
        block       Block
        exceptionTable      SEQ Exception
        maxLocals   OPT Integer
        maxOperands OPT Integer
        stackMapPlaces      SET Instruction
        stackMap    SEQ StackFrameDelta
  | ClassReference
        type        ClassTypeExpr
        entry       OPT ClassRef
  | Modifiable ABSTRACT
        annotations SEQ Annotation
        modifiers   SET Modifier
  | | Parameter
        type        TypeExpr
        name        OPT Name
        variable    OPT Variable
  | | Attributable ABSTRACT
        attrs       SEQ Attribute
  | | | InnerClass
        name        OPT Id
        definition  OPT Class
  | | | <a id='_def_Class' class='aDef' title='Definition of a class.  This is the largest unit of LLJava models.