Package eu.bandm.tools.d2d2.rt

Class SubstituteChars

java.lang.Object

eu.bandm.tools.d2d2.rt.Udom

eu.bandm.tools.d2d2.rt.ResultingChars

eu.bandm.tools.d2d2.rt.SubstituteChars

All Implemented Interfaces:

Formattable, Cloneable

public class SubstituteChars
extends ResultingChars

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "Rt.umod":49.3-50.49, see this pretty print.)

Field Summary

Fields

Modifier and Type	Field	Description
protected Location<String>	endLocation	Generated by umod; model author's documentation MISSING.
static final Function<SubstituteChars,Location<String>>	get_endLocation	Deprecated. Use new '::' method reference instead.

Fields inherited from class eu.bandm.tools.d2d2.rt.ResultingChars

chars, get_chars, get_isWhitespace, isWhitespace

Constructor Summary

Constructors

Constructor	Description
SubstituteChars()
SubstituteChars(MemString chars, boolean isWhitespace, Location<String> endLocation)	Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".

Method Summary

Modifier and Type	Method	Description
SubstituteChars	doclone()	Clones this object.
Format	format()	Delivers a format object for pretty-printing by inheritance from some ancestor class.
Location<String>	get_endLocation()	Generated by umod; model author's documentation MISSING.
static Pattern<SubstituteChars>	get_endLocation(Pattern<? super Location<String>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
SubstituteChars	initFrom(Object o0)	Copies values of all common fields from the argument.
boolean	set_endLocation(Location<String> val)	Generated by umod; model author's documentation MISSING.

Methods inherited from class eu.bandm.tools.d2d2.rt.ResultingChars

get_chars, get_chars, get_isWhitespace, get_isWhitespace, set_chars, set_isWhitespace

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

endLocation

protected Location<String> endLocation

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "Rt.umod":50.9-49, see this pretty print.)
The type of this field is Location(never null)
It is set by every possible constructor.

See Also:

• get_endLocation()
• set_endLocation(eu.bandm.tools.location.Location<java.lang.String>)

get_endLocation

@Deprecated
public static final Function<SubstituteChars,Location<String>> get_endLocation

Deprecated.

Use new '::' method reference instead.

Constructor Details

SubstituteChars

public SubstituteChars(MemString chars,
 boolean isWhitespace,
 Location<String> endLocation)

Constructor generated according to specification #0
Constructor defined according to directive "C 0/..".

Parameters:

chars - is copied to field ResultingChars.chars

isWhitespace - is copied to field ResultingChars.isWhitespace

endLocation - is copied to field endLocation

SubstituteChars

SubstituteChars()

Method Details

doclone

public SubstituteChars doclone()

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

Overrides:

doclone in class ResultingChars

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 ResultingChars

Returns:

a format that represents this object in a pretty-printable way

initFrom

public SubstituteChars 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 ResultingChars

get_endLocation

public Location<String> get_endLocation()

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "Rt.umod":50.9-49, see this pretty print.)
Generated getter method. @see #endLocation

Returns:

The current field value of type Location(never null)

set_endLocation

public boolean set_endLocation(Location<String> val)

Generated by umod; model author's documentation MISSING.
(This definition has been created by UMod from the source at SYSTEM "Rt.umod":50.9-49, see this pretty print.)
Updates the (mutable) instance destructively.

Parameters:

val - the new value of type Location(never null)

Returns:

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

See Also:

• endLocation

get_endLocation

public static Pattern<SubstituteChars> get_endLocation(Pattern<? super Location<String>> 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 __Patterns.