eu.bandm.tools.lljava.absy

Class LLJava.ResultExpr

java.lang.Object

eu.bandm.tools.lljava.absy.LLJava.Node

eu.bandm.tools.lljava.absy.LLJava.ResultExpr

All Implemented Interfaces:

Formattable, Cloneable

Direct Known Subclasses:

LLJava.ReturnsExpr, LLJava.VoidExpr

Enclosing class:

LLJava

public abstract static class LLJava.ResultExpr
extends LLJava.Node

Specification of the result of a function.

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

Field Summary

Fields

Modifier and Type	Field and Description
protected LLJava.Result	erasure The raw type represented by this method result specification.

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
ResultExpr() Synthetic minimal constructor provided by the umod compiler.

Method Summary

Modifier and Type	Method and Description
LLJava.ResultExpr	doclone() Clones this object.
Format	format() Delivers a format object for pretty-printing by inheritance from some ancestor class.
LLJava.Result	get_erasure() The raw type represented by this method result specification.
static Pattern<LLJava.ResultExpr>	get_erasure(Pattern<? super LLJava.Result> p) Lifts a pattern which matches the field value to one which matches this whole object.
LLJava.ResultExpr	initFrom(Object o0) Copies values of all common fields from the argument.
boolean	set_erasure(LLJava.Result val) The raw type represented by this method result specification.

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

erasure

protected LLJava.Result erasure

The raw type represented by this method result specification. This field is set by the ContextChecker.

(This definition has been created by UMod from the source at SYSTEM "LLJava.umod":1049.9-1050.13, cf. this pretty print.)
The type of this field is LLJava.Result(maybe null)
Its value defaults to null.

See Also:

get_erasure(), set_erasure(eu.bandm.tools.lljava.absy.LLJava.Result)

Constructor Detail

ResultExpr

public ResultExpr()

Synthetic minimal constructor provided by the umod compiler.
Constructor with minimal set of arguments, supplied automatically by the umod compiler, not explicitly by user.
(All object fields are set to their default values.)

Method Detail

doclone

public LLJava.ResultExpr doclone()

Clones this object. Method never fails, since Cloneable is known to be implemented.

Overrides:

doclone in class LLJava.Node

Returns:

a fresh copy.

format

public Format format()

Delivers a format object for pretty-printing by inheritance from some ancestor class.

Specified by:

format in interface Formattable

Overrides:

format in class LLJava.Node

initFrom

public LLJava.ResultExpr 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.Node

get_erasure

public LLJava.Result get_erasure()

The raw type represented by this method result specification. This field is set by the ContextChecker.

(This definition has been created by UMod from the source at SYSTEM "LLJava.umod":1049.9-1050.13, cf. this pretty print.)
Generated getter method. @see #erasure

Returns:

The current field value of type LLJava.Result(maybe null)

set_erasure

public boolean set_erasure(LLJava.Result val)

The raw type represented by this method result specification. This field is set by the ContextChecker.

(This definition has been created by UMod from the source at SYSTEM "LLJava.umod":1049.9-1050.13, cf. this pretty print.)
Updates the (mutable) instance destructively.

Parameters:

val - the new value of type LLJava.Result(maybe null)

Returns:

whether a change (w.r.t. ==) did actually happen.

See Also:

erasure

get_erasure

public static Pattern<LLJava.ResultExpr> get_erasure(Pattern<? super LLJava.Result> 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.