LLJava.Annotation (BandM metatools API doc)

java.lang.Object
- eu.bandm.tools.lljava.absy.LLJava.Node
- - eu.bandm.tools.lljava.absy.LLJava.ModifierExpr
  - - eu.bandm.tools.lljava.absy.LLJava.Annotation

All Implemented Interfaces:

Formattable, Cloneable

Enclosing class:

LLJava
```
public static class LLJava.Annotation
extends LLJava.ModifierExpr
```
Syntactic expression specifying an annotation. Note that, unlike modifiers, annotations do not have a purely semantic, algebraic representation. Thus annotations are understood tacitly as annotation definitions.

See Also:

,

(This definition has been created by UMod from the source at SYSTEM "LLJava.umod":234.1-249.16, cf. this pretty print.)

Field Summary

Fields
Modifier and Type	Field and Description
`protected CheckedMap_RD<LLJava.Id,LLJava.AnnotationValue>`	`elems` Generated by umod; model author's documentation MISSING.
`protected LLJava.QualId`	`name` Generated by umod; model author's documentation MISSING.
`protected boolean`	`runtimeVisible` Generated by umod; model author's documentation MISSING.

Fields inherited from class eu.bandm.tools.lljava.absy.LLJava.Node
location

Fields inherited from interface eu.bandm.tools.format.Formattable
format

Constructor Summary

Constructors
Constructor and Description
`Annotation(LLJava.QualId name, boolean runtimeVisible)` Constructor generated according to specification #0 Constructor defined according to directive "`C 0/.."`.

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`boolean`	`containsKey_elems(LLJava.Id key0)` Convenience un-Currying method.
`void`	`descend_0_elems(LLJava.MATCH_ONLY_00 visitor)`
`void`	`descend_elems(LLJava.MATCH_ONLY_00 visitor)`
`LLJava.Annotation`	`doclone()` Clones this object.
`Format`	`format()` Delivers a format object for pretty-printing, as specified in the umod source.
`CheckedMap_RD<LLJava.Id,LLJava.AnnotationValue>`	`get_elems()` Generated by umod; model author's documentation MISSING.
`static Pattern<LLJava.Annotation>`	`get_elems(Pattern<? super CheckedMap_RD<LLJava.Id,LLJava.AnnotationValue>> p)` Lifts a pattern which matches the field value to one which matches this whole object.
`LLJava.QualId`	`get_name()` Generated by umod; model author's documentation MISSING.
`static Pattern<LLJava.Annotation>`	`get_name(Pattern<? super LLJava.QualId> p)` Lifts a pattern which matches the field value to one which matches this whole object.
`boolean`	`get_runtimeVisible()` Generated by umod; model author's documentation MISSING.
`static Pattern<LLJava.Annotation>`	`get_runtimeVisible(Pattern<? super Boolean> p)` Lifts a pattern which matches the field value to one which matches this whole object.
`static String`	`getFormatHint()` Delivers the format specification from the umod source.
`LLJava.Annotation`	`initFrom(Object o0)` Copies values of all common fields from the argument.
`void`	`put_elems(LLJava.Id key0, LLJava.AnnotationValue value)` Convenience un-Currying method.
`boolean`	`set_elems(CheckedMap_RD<LLJava.Id,LLJava.AnnotationValue> val)` Generated by umod; model author's documentation MISSING.
`boolean`	`set_name(LLJava.QualId val)` Generated by umod; model author's documentation MISSING.
`boolean`	`set_runtimeVisible(boolean val)` Generated by umod; model author's documentation MISSING.

Methods inherited from class eu.bandm.tools.lljava.absy.LLJava.Node
get_location, get_location, set_location

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - name
```
protected LLJava.QualId name
```
    Generated by umod; model author's documentation MISSING.
    (This definition has been created by UMod from the source at SYSTEM "LLJava.umod":243.9-73, cf. this pretty print.)
    The type of this field is LLJava.QualId(never null)
    It is set by every possible constructor.
    
    See Also:
    
    get_name(), set_name(eu.bandm.tools.lljava.absy.LLJava.QualId)
  - runtimeVisible
```
protected boolean runtimeVisible
```
    Generated by umod; model author's documentation MISSING.
    (This definition has been created by UMod from the source at SYSTEM "LLJava.umod":244.9-73, cf. this pretty print.)
    The type of this field is boolean(never null)
    It is set by every possible constructor.
    
    See Also:
    
    get_runtimeVisible(), set_runtimeVisible(boolean)
  - elems
```
protected CheckedMap_RD<LLJava.Id,LLJava.AnnotationValue> elems
```
    Generated by umod; model author's documentation MISSING.
    (This definition has been created by UMod from the source at SYSTEM "LLJava.umod":245.9-80, cf. this pretty print.)
    The type of this field is CheckedMap_RD<LLJava.Id(never null),LLJava.AnnotationValue(never null)>(never null)
    Its value defaults to an empty collection.
    
    See Also:
    
    get_elems(), set_elems(eu.bandm.tools.umod.runtime.CheckedMap_RD<eu.bandm.tools.lljava.absy.LLJava.Id, eu.bandm.tools.lljava.absy.LLJava.AnnotationValue>)
- Constructor Detail
  - Annotation
```
public Annotation(LLJava.QualId name,
                  boolean runtimeVisible)
```
    Constructor generated according to specification #0
    Constructor defined according to directive "C 0/..".
    
    Parameters:
    
    name - is copied to field name
    
    runtimeVisible - is copied to field runtimeVisible
- Method Detail
  - doclone
```
public LLJava.Annotation doclone()
```
    Clones this object. Method never fails, since Cloneable is known to be implemented.
    
    Overrides:
    
    doclone in class LLJava.ModifierExpr
    
    Returns:
    
    a fresh copy.
  - getFormatHint
```
public static String getFormatHint()
```
    Delivers the format specification from the umod source.
    The constant return value is ..
    $switch runtimeVisible{false:'('}'@'name,>elems{$from '=' $to}['('|',' ,')'/]$switch runtimeVisible{false:')'}
    This can be used e.g. by format code interpreters which process objects of different origin.
  - format
```
public Format format()
```
    Delivers a format object for pretty-printing, as specified in the umod source.
    
    Specified by:
    
    format in interface Formattable
    
    Overrides:
    
    format in class LLJava.ModifierExpr
  - initFrom
```
public LLJava.Annotation initFrom(Object o0)
```
    Copies values of all common fields from the argument. All fields of this class definition are copied, iff the argument is of this class. Then the superclass method is invoked with the same argument.
    
    Overrides:
    
    initFrom in class LLJava.ModifierExpr
  - get_name
```
public LLJava.QualId get_name()
```
    Generated by umod; model author's documentation MISSING.
    (This definition has been created by UMod from the source at SYSTEM "LLJava.umod":243.9-73, cf. this pretty print.)
    Generated getter method. @see #name
    
    Returns:
    
    The current field value of type LLJava.QualId(never null)
  - set_name
```
public boolean set_name(LLJava.QualId val)
```
    Generated by umod; model author's documentation MISSING.
    (This definition has been created by UMod from the source at SYSTEM "LLJava.umod":243.9-73, cf. this pretty print.)
    Updates the (mutable) instance destructively.
    
    Parameters:
    
    val - the new value of type LLJava.QualId(never null)
    
    Returns:
    
    whether a change (w.r.t. ==) did actually happen.
    
    See Also:
    
    name
  - get_runtimeVisible
```
public boolean get_runtimeVisible()
```
    Generated by umod; model author's documentation MISSING.
    (This definition has been created by UMod from the source at SYSTEM "LLJava.umod":244.9-73, cf. this pretty print.)
    Generated getter method. @see #runtimeVisible
    
    Returns:
    
    The current field value of type boolean(never null)
  - set_runtimeVisible
```
public boolean set_runtimeVisible(boolean val)
```
    Generated by umod; model author's documentation MISSING.
    (This definition has been created by UMod from the source at SYSTEM "LLJava.umod":244.9-73, cf. this pretty print.)
    Updates the (mutable) instance destructively.
    
    Parameters:
    
    val - the new value of type boolean(never null)
    
    Returns:
    
    whether a change (w.r.t. ==) did actually happen.
    
    See Also:
    
    runtimeVisible
  - get_elems
```
public CheckedMap_RD<LLJava.Id,LLJava.AnnotationValue> get_elems()
```
    Generated by umod; model author's documentation MISSING.
    (This definition has been created by UMod from the source at SYSTEM "LLJava.umod":245.9-80, cf. this pretty print.)
    Generated getter method. @see #elems
    
    Returns:
    
    The current field value of type CheckedMap_RD<LLJava.Id(never null),LLJava.AnnotationValue(never null)>(never null)
  - set_elems
```
public boolean set_elems(CheckedMap_RD<LLJava.Id,LLJava.AnnotationValue> val)
```
    Generated by umod; model author's documentation MISSING.
    (This definition has been created by UMod from the source at SYSTEM "LLJava.umod":245.9-80, cf. this pretty print.)
    Updates the (mutable) instance destructively.
    
    Parameters:
    
    val - the new value of type CheckedMap_RD<LLJava.Id(never null),LLJava.AnnotationValue(never null)>(never null)
    
    Returns:
    
    whether a change (w.r.t. ==) did actually happen.
    
    See Also:
    
    elems
  - put_elems
```
public void put_elems(LLJava.Id key0,
                      LLJava.AnnotationValue value)
```
    Convenience un-Currying method.
    Set the value at the given coordinate and automatically generate all intermediate collections, if not yet existing.
    
    Parameters:
    
    val - the new value of type LLJava.AnnotationValue(never null)
    
    See Also:
    
    elems
  - containsKey_elems
```
public boolean containsKey_elems(LLJava.Id key0)
```
    Convenience un-Currying method.
    
    Returns:
    
    whether there exists a chain of collection objects to the given co-ordinate.
    
    See Also:
    
    elems
  - descend_elems
```
public void descend_elems(LLJava.MATCH_ONLY_00 visitor)
```
  - descend_0_elems
```
public void descend_0_elems(LLJava.MATCH_ONLY_00 visitor)
```
  - get_name
```
public static Pattern<LLJava.Annotation> get_name(Pattern<? super LLJava.QualId> p)
```
    Lifts a pattern which matches the field value to one which matches this whole object.
    More complex pattern methods are generated in the one ancillary class LLJava.__Patterns.
  - get_runtimeVisible
```
public static Pattern<LLJava.Annotation> get_runtimeVisible(Pattern<? super Boolean> p)
```
    Lifts a pattern which matches the field value to one which matches this whole object.
    More complex pattern methods are generated in the one ancillary class LLJava.__Patterns.
  - get_elems
```
public static Pattern<LLJava.Annotation> get_elems(Pattern<? super CheckedMap_RD<LLJava.Id,LLJava.AnnotationValue>> p)
```
    Lifts a pattern which matches the field value to one which matches this whole object.
    More complex pattern methods are generated in the one ancillary class LLJava.__Patterns.

Class LLJava.Annotation

Field Summary

Fields inherited from class eu.bandm.tools.lljava.absy.LLJava.Node

Fields inherited from interface eu.bandm.tools.format.Formattable

Constructor Summary

Method Summary

Methods inherited from class eu.bandm.tools.lljava.absy.LLJava.Node

Methods inherited from class java.lang.Object

Field Detail

name

runtimeVisible

elems

Constructor Detail

Annotation

Method Detail

doclone

getFormatHint

format

initFrom

get_name

set_name

get_runtimeVisible

set_runtimeVisible

get_elems

set_elems

put_elems

containsKey_elems

descend_elems

descend_0_elems

get_name

get_runtimeVisible

get_elems