Package eu.bandm.tools.lljava.absy

Class Verify

java.lang.Object
eu.bandm.tools.lljava.absy.Verify
public class Verify extends Object
Umod main model class:
Auxiliary data structures for the verification and type checking. The objects to be processed are defined in LLJava.
The API doc of this package refers with [JVM] to Lindholm, Yelling et.al, The Java® Virtual Machine Specification -- Java SE 7 Edition.
(This definition has been created by UMod from the source at SYSTEM "Verify.umod":1.1-40.5, see this pretty print.)

Created on 2024-11-24_11h57m54
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
Cf. the pretty-printed UMod source text.

  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Class
    Description
    static class 
    Verify.__Formatter
    (Ancillary class for generating pretty-print format objects).
    static class 
    Verify.__Patterns
    Ancillary class providing Paisley compound patterns.
    static class 
    Verify.Category1
    Generated by umod; model author's documentation MISSING.
    static class 
    Verify.Category2
    Generated by umod; model author's documentation MISSING.
    static class 
    Verify.Double
    Generated by umod; model author's documentation MISSING.
    static class 
    Verify.Float
    Generated by umod; model author's documentation MISSING.
    static class 
    Verify.Int
    Generated by umod; model author's documentation MISSING.
    static class 
    Verify.Long
    Generated by umod; model author's documentation MISSING.
    static class 
    Verify.MATCH_ONLY_00
    (Ancillary class as basis for all visitors).
    static class 
    Verify.Null
    Generated by umod; model author's documentation MISSING.
    static class 
    Verify.Object
    Generated by umod; model author's documentation MISSING.
    static class 
    Verify.OneWord
    Generated by umod; model author's documentation MISSING.
    static class 
    Verify.Reference
    Generated by umod; model author's documentation MISSING.
    static class 
    Verify.Top
    Generated by umod; model author's documentation MISSING.
    static class 
    Verify.TwoWord
    Generated by umod; model author's documentation MISSING.
    static class 
    Verify.Type
    Generated by umod; model author's documentation MISSING.
    static class 
    Verify.Uninitialized
    Generated by umod; model author's documentation MISSING.
    static class 
    Verify.UninitializedNew
    Generated by umod; model author's documentation MISSING.
    static class 
    Verify.UninitializedThis
    Generated by umod; model author's documentation MISSING.

  • Method Summary

    Modifier and Type
    Method
    Description
    static Format
    toFormat(Object e0)
    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.