Package eu.bandm.tools.lljava.absy

Class Verify

java.lang.Object

eu.bandm.tools.lljava.absy.Verify

public class Verify
extends Object

Created on 2024-09-15_20h22m59
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

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
static class	Verify.Category2
static class	Verify.Double
static class	Verify.Float
static class	Verify.Int
static class	Verify.Long
static class	Verify.MATCH_ONLY_00	(Ancillary class as basis for all visitors).
static class	Verify.Null
static class	Verify.Object
static class	Verify.OneWord
static class	Verify.Reference
static class	Verify.Top
static class	Verify.TwoWord
static class	Verify.Type
static class	Verify.Uninitialized
static class	Verify.UninitializedNew
static class	Verify.UninitializedThis

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.