Uses of Class
eu.bandm.tools.umod.runtime.CheckedList

Packages that use CheckedList

Package	Description
eu.bandm.tools.d2d2.base	D2d allows to write valid XML documents directly in the creative flow of authoring, with minimum typographic noise.
eu.bandm.tools.d2d2.model	Umod main model class: This is the internal model for the d2d text type definitions.
eu.bandm.tools.d2d2.rt	Umod main model class: This is a model for the results of d2d text parsing.
eu.bandm.tools.doctypes.xhtml	Meaning: Data model for documents conforming to xhtml 1.0 strict.
eu.bandm.tools.dtd	Model for w3c XML DTDs, with preserved syntax.
eu.bandm.tools.dtm	Canonical model of a W3C DTD with evaluated semantics; plus utility applications.
eu.bandm.tools.lablog.xml	Meaning: Created from d2d definition module lablog$expanded at 2025-03-02_12h00m51.
eu.bandm.tools.lljava.absy	Abstract Syntax of LLJava, representing the byte code instructions, the objects which contain byte code, and the attributes specific to byte code classes.
eu.bandm.tools.lljava.parser
eu.bandm.tools.muli.tdom	Meaning: Source format for multi lingual support.
eu.bandm.tools.option.absy	Meaning: Source format for the Option compiler, for command line parsing, GUI input, generation of documentation, etc.
eu.bandm.tools.tdom.runtime	Contains base and auxiliary classes for code generated by tdom.
eu.bandm.tools.tpath.absy	Abstract syntax of the tpath language, realized as a umod model.
eu.bandm.tools.tpath.parser2
eu.bandm.tools.umod	Compiler for data models, from a concise mathematical oriented language into Java.
eu.bandm.tools.umod.runtime	Runtime classes for the model code generated by the umod compiler, for data integrity, de/serialization, visualization, visitors and rewriters.

Uses of CheckedList in eu.bandm.tools.d2d2.base

Fields in eu.bandm.tools.d2d2.base declared as CheckedList

Modifier and Type	Field	Description
(package private) CheckedList<String>	Def2Dtd.allSingletonNames
(package private) CheckedList<Expression>	CharParserPrepare.ReduceToCardinalities.components
(package private) CheckedList<LocString>	DocOnly.docs	Visitor register.
protected CheckedList<Expression>	UMod2Def.fieldRefs

Methods in eu.bandm.tools.d2d2.base that return CheckedList

Modifier and Type	Method	Description
protected CheckedList<DTD.CP>	Def2Dtd.translatesubs(Collection<Expression> subs)

Methods in eu.bandm.tools.d2d2.base with parameters of type CheckedList

Modifier and Type	Method	Description
protected void	Text2Udom.addRestPerm(State_perm permstate, CheckedList<Expression> misslist)	Add obligate members of a "perm" expression to the term which describes the missing input.
protected Element_block_content @Opt []	Userdoc.f_renderDocu(@Opt CheckedList<LocString> in, String docu_ident)	Translate the d2d-encoded documentation text collected for one element to udom and then by standard xslt rules to xhtml.
static String	Userdoc.joinAllDocStrings(CheckedList<LocString> list)
protected void	Def2Dtd.makeSeq(CheckedList<Expression> on)
protected void	Def2Xslt3.output(CheckedList<LocString> docu)	Copy the documentaton line block to the output and update the location map.
protected void	Text2Udom.report_assumed_xslt_output(CheckedList<Expression> misslist)	Is called when an target-language open/close tag has been found after an xslt template call, to report the necessary expansion.
protected void	Text2Udom.report_missing_elements(boolean isOpen, String tag, boolean frameFound, CheckedList<Expression> misslist, List<SimpleMessage<String>> messlist, Location<String> closeTagDefLoc)	this proc can be called from Text2Udom.process_open_tag(String, boolean) or Text2Udom.process_close_tag(String, boolean). Basically, there are two classes of error recovery: framefound = true ==> the tag is KNOWN, but tags before are missing, --- then continue with a shrunk stack state. framefound = false ==> the tag is NOT KNOWN, then discard all input up to the next tag and try again.
Expression	CharParserPrepare.ReduceToCardinalities.translate(CheckedList<Expression> ins)

Uses of CheckedList in eu.bandm.tools.d2d2.model

Fields in eu.bandm.tools.d2d2.model declared as CheckedList

Modifier and Type	Field	Description
protected CheckedList<NamespaceDecl>	Module.namespaces	Generated by umod; model author's documentation MISSING.
protected CheckedList<Expression>	GrMult.on	Generated by umod; model author's documentation MISSING.
protected CheckedList<String>	Enumeration.sourceOrder	Generated by umod; model author's documentation MISSING.

Fields in eu.bandm.tools.d2d2.model with type parameters of type CheckedList

Modifier and Type	Field	Description
protected CheckedMap_RD<String,CheckedList<LocString>>	SourceItem.docu	Generated by umod; model author's documentation MISSING.
static final Function<SourceItem,CheckedMap_RD<String,CheckedList<LocString>>>	SourceItem.get_docu	Deprecated. Use new '::' method reference instead.
static final Function<Enumeration,CheckedMap_RD<Integer,CheckedMap_RD<String,CheckedList<LocString>>>>	Enumeration.get_itemDocu	Deprecated. Use new '::' method reference instead.
static final Function<Module,CheckedList<NamespaceDecl>>	Module.get_namespaces	Deprecated. Use new '::' method reference instead.
static final Function<GrMult,CheckedList<Expression>>	GrMult.get_on	Deprecated. Use new '::' method reference instead.
static final Function<Enumeration,CheckedList<String>>	Enumeration.get_sourceOrder	Deprecated. Use new '::' method reference instead.
static final Function<AdditionalDocs,CheckedMap_RD<String,CheckedMap_RD<String,CheckedMap_RD<String,CheckedList<LocString>>>>>	AdditionalDocs.get_text	Deprecated. Use new '::' method reference instead.
protected CheckedMap_RD<Integer,CheckedMap_RD<String,CheckedList<LocString>>>	Enumeration.itemDocu	Generated by umod; model author's documentation MISSING.
protected CheckedMap_RD<String,CheckedMap_RD<String,CheckedMap_RD<String,CheckedList<LocString>>>>	AdditionalDocs.text	realizes the mapping language(/target) -> modulename -> definition -> docText.

Methods in eu.bandm.tools.d2d2.model that return CheckedList

Modifier and Type	Method	Description
CheckedList<NamespaceDecl>	Module.get_namespaces()	Generated by umod; model author's documentation MISSING.
CheckedList<Expression>	GrMult.get_on()	Generated by umod; model author's documentation MISSING.
CheckedList<String>	Enumeration.get_sourceOrder()	Generated by umod; model author's documentation MISSING.
protected CheckedList<LocString>	__SAX_Parser.parse_0()
protected CheckedList<String>	__SAX_Parser.parse_13()
protected CheckedList<LocString>	__SAX_Parser.parse_18()
protected CheckedList<LocString>	__SAX_Parser.parse_21()
protected CheckedList<Expression>	__SAX_Parser.parse_28()
protected CheckedList<NamespaceDecl>	__SAX_Parser.parse_5()

Methods in eu.bandm.tools.d2d2.model that return types with arguments of type CheckedList

Modifier and Type	Method	Description
CheckedMap_RD<String,CheckedList<LocString>>	SourceItem.get_docu()	Generated by umod; model author's documentation MISSING.
CheckedMap_RD<Integer,CheckedMap_RD<String,CheckedList<LocString>>>	Enumeration.get_itemDocu()	Generated by umod; model author's documentation MISSING.
CheckedMap_RD<String,CheckedMap_RD<String,CheckedMap_RD<String,CheckedList<LocString>>>>	AdditionalDocs.get_text()	realizes the mapping language(/target) -> modulename -> definition -> docText.
protected CheckedMap_RD<String,CheckedList<LocString>>	__SAX_Parser.parse_1()
protected CheckedMap_RD<String,CheckedList<LocString>>	__SAX_Parser.parse_19()
protected CheckedMap_RD<Integer,CheckedMap_RD<String,CheckedList<LocString>>>	__SAX_Parser.parse_20()
protected CheckedMap_RD<String,CheckedList<LocString>>	__SAX_Parser.parse_22()
protected CheckedMap_RD<String,CheckedMap_RD<String,CheckedList<LocString>>>	__SAX_Parser.parse_23()
protected CheckedMap_RD<String,CheckedMap_RD<String,CheckedMap_RD<String,CheckedList<LocString>>>>	__SAX_Parser.parse_24()

Methods in eu.bandm.tools.d2d2.model with parameters of type CheckedList

Modifier and Type	Method	Description
void	SourceItem.put_docu(String key0, CheckedList<LocString> value)	Convenience un-Currying method.
void	Enumeration.put_itemDocu(int key0, String key1, CheckedList<LocString> value)	Convenience un-Currying method.
void	AdditionalDocs.put_text(String key0, String key1, String key2, CheckedList<LocString> value)	Convenience un-Currying method.
boolean	Module.set_namespaces(CheckedList<NamespaceDecl> val)	Generated by umod; model author's documentation MISSING.
boolean	Enumeration.set_sourceOrder(CheckedList<String> val)	Generated by umod; model author's documentation MISSING.
GrMult	GrMult.with_on(CheckedList<Expression> val)	Generated by umod; model author's documentation MISSING.

Method parameters in eu.bandm.tools.d2d2.model with type arguments of type CheckedList

Modifier and Type	Method	Description
static Pattern<SourceItem>	SourceItem.get_docu(Pattern<? super CheckedMap_RD<String,CheckedList<LocString>>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<Enumeration>	Enumeration.get_itemDocu(Pattern<? super CheckedMap_RD<Integer,CheckedMap_RD<String,CheckedList<LocString>>>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<Module>	Module.get_namespaces(Pattern<? super CheckedList<NamespaceDecl>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<GrMult>	GrMult.get_on(Pattern<? super CheckedList<Expression>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<Enumeration>	Enumeration.get_sourceOrder(Pattern<? super CheckedList<String>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<AdditionalDocs>	AdditionalDocs.get_text(Pattern<? super CheckedMap_RD<String,CheckedMap_RD<String,CheckedMap_RD<String,CheckedList<LocString>>>>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
void	Enumeration.put_itemDocu(int key0, CheckedMap_RD<String,CheckedList<LocString>> value)	Convenience un-Currying method.
void	AdditionalDocs.put_text(String key0, CheckedMap_RD<String,CheckedMap_RD<String,CheckedList<LocString>>> value)	Convenience un-Currying method.
void	AdditionalDocs.put_text(String key0, String key1, CheckedMap_RD<String,CheckedList<LocString>> value)	Convenience un-Currying method.
boolean	SourceItem.set_docu(CheckedMap_RD<String,CheckedList<LocString>> val)	Generated by umod; model author's documentation MISSING.
boolean	Enumeration.set_itemDocu(CheckedMap_RD<Integer,CheckedMap_RD<String,CheckedList<LocString>>> val)	Generated by umod; model author's documentation MISSING.
boolean	AdditionalDocs.set_text(CheckedMap_RD<String,CheckedMap_RD<String,CheckedMap_RD<String,CheckedList<LocString>>>> val)	realizes the mapping language(/target) -> modulename -> definition -> docText.

Constructors in eu.bandm.tools.d2d2.model with parameters of type CheckedList

Modifier	Constructor	Description
	Alt(Location<XMLDocumentIdentifier> location, CheckedList<Expression> on)	Constructor generated according to specification #1 Constructor defined according to directive "C 1/..".
	GrMult(Location<XMLDocumentIdentifier> location, CheckedList<Expression> on)	Constructor generated according to specification #1 Constructor defined according to directive "C 1/..".
	Perm(Location<XMLDocumentIdentifier> location, CheckedList<Expression> on)	Constructor generated according to specification #1 Constructor defined according to directive "C 1/..".
	Seq(Location<XMLDocumentIdentifier> location, CheckedList<Expression> on, boolean istight)	Constructor generated according to specification #1 Constructor defined according to directive "C 1/..".

Uses of CheckedList in eu.bandm.tools.d2d2.rt

Fields in eu.bandm.tools.d2d2.rt declared as CheckedList

Modifier and Type	Field	Description
protected CheckedList<Udom>	ResultContainer.sequ	Generated by umod; model author's documentation MISSING.

Fields in eu.bandm.tools.d2d2.rt with type parameters of type CheckedList

Modifier and Type	Field	Description
static final Function<ResultContainer,CheckedList<Udom>>	ResultContainer.get_sequ	Deprecated. Use new '::' method reference instead.

Methods in eu.bandm.tools.d2d2.rt that return CheckedList

Modifier and Type	Method	Description
CheckedList<Udom>	ResultContainer.get_sequ()	Generated by umod; model author's documentation MISSING.

Methods in eu.bandm.tools.d2d2.rt with parameters of type CheckedList

Modifier and Type	Method	Description
boolean	ResultContainer.set_sequ(CheckedList<Udom> val)	Generated by umod; model author's documentation MISSING.

Method parameters in eu.bandm.tools.d2d2.rt with type arguments of type CheckedList

Modifier and Type	Method	Description
static Pattern<ResultContainer>	ResultContainer.get_sequ(Pattern<? super CheckedList<Udom>> p)	Lifts a pattern which matches the field value to one which matches this whole object.

Uses of CheckedList in eu.bandm.tools.doctypes.xhtml

Fields in eu.bandm.tools.doctypes.xhtml declared as CheckedList

Modifier and Type	Field	Description
final CheckedList<Element_a.Content>	Element_a.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_abbr.Content>	Element_abbr.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_acronym.Content>	Element_acronym.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_address.Content>	Element_address.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_b.Content>	Element_b.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_bdo.Content>	Element_bdo.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_big.Content>	Element_big.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_button.Content>	Element_button.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_caption.Content>	Element_caption.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_cite.Content>	Element_cite.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_code.Content>	Element_code.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_dd.Content>	Element_dd.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_del.Content>	Element_del.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_dfn.Content>	Element_dfn.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_div.Content>	Element_div.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_dt.Content>	Element_dt.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_em.Content>	Element_em.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_fieldset.Content>	Element_fieldset.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_h1.Content>	Element_h1.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_h2.Content>	Element_h2.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_h3.Content>	Element_h3.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_h4.Content>	Element_h4.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_h5.Content>	Element_h5.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_h6.Content>	Element_h6.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_i.Content>	Element_i.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_ins.Content>	Element_ins.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_kbd.Content>	Element_kbd.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_label.Content>	Element_label.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_legend.Content>	Element_legend.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_li.Content>	Element_li.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_object.Content>	Element_object.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_option.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_p.Content>	Element_p.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_pre.Content>	Element_pre.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_q.Content>	Element_q.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_samp.Content>	Element_samp.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_script.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_small.Content>	Element_small.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_span.Content>	Element_span.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_strong.Content>	Element_strong.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_style.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_sub.Content>	Element_sub.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_sup.Content>	Element_sup.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_td.Content>	Element_td.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_textarea.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_th.Content>	Element_th.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_title.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_tt.Content>	Element_tt.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_var.Content>	Element_var.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.

Uses of CheckedList in eu.bandm.tools.dtd

Fields in eu.bandm.tools.dtd declared as CheckedList

Modifier and Type	Field	Description
protected CheckedList<DTD.CP>	DTD.Choice.alts	Generated by umod; model author's documentation MISSING.
protected CheckedList<DTD.AttDef>	DTD.Attlist.atts	Generated by umod; model author's documentation MISSING.
protected CheckedList<DTD.CP>	DTD.Seq.elems	Generated by umod; model author's documentation MISSING.
protected CheckedList<DTD.MarkupDecl>	DTD.Dtd.markup	Generated by umod; model author's documentation MISSING.
protected CheckedList<String>	DTD.Mixed.names	Generated by umod; model author's documentation MISSING.
protected CheckedList<String>	DTD.Enumerated.tokens	Generated by umod; model author's documentation MISSING.

Methods in eu.bandm.tools.dtd that return CheckedList

Modifier and Type	Method	Description
CheckedList<DTD.CP>	DTD.Choice.get_alts()	Generated by umod; model author's documentation MISSING.
CheckedList<DTD.AttDef>	DTD.Attlist.get_atts()	Generated by umod; model author's documentation MISSING.
CheckedList<DTD.CP>	DTD.Seq.get_elems()	Generated by umod; model author's documentation MISSING.
CheckedList<DTD.MarkupDecl>	DTD.Dtd.get_markup()	Generated by umod; model author's documentation MISSING.
CheckedList<String>	DTD.Mixed.get_names()	Generated by umod; model author's documentation MISSING.
CheckedList<String>	DTD.Enumerated.get_tokens()	Generated by umod; model author's documentation MISSING.
protected CheckedList<String>	DTD.__SAX_Parser.parse_0()
protected CheckedList<DTD.CP>	DTD.__SAX_Parser.parse_1()
protected CheckedList<DTD.CP>	DTD.__SAX_Parser.parse_2()
protected CheckedList<DTD.MarkupDecl>	DTD.__SAX_Parser.parse_3()
protected CheckedList<DTD.AttDef>	DTD.__SAX_Parser.parse_5()
protected CheckedList<String>	DTD.__SAX_Parser.parse_6()

Methods in eu.bandm.tools.dtd with parameters of type CheckedList

Modifier and Type	Method	Description
boolean	DTD.Attlist.set_atts(CheckedList<DTD.AttDef> val)	Generated by umod; model author's documentation MISSING.
boolean	DTD.Dtd.set_markup(CheckedList<DTD.MarkupDecl> val)	Generated by umod; model author's documentation MISSING.
DTD.Choice	DTD.Choice.with_alts(CheckedList<DTD.CP> val)	Generated by umod; model author's documentation MISSING.
DTD.Seq	DTD.Seq.with_elems(CheckedList<DTD.CP> val)	Generated by umod; model author's documentation MISSING.
DTD.Mixed	DTD.Mixed.with_names(CheckedList<String> val)	Generated by umod; model author's documentation MISSING.
DTD.Enumerated	DTD.Enumerated.with_tokens(CheckedList<String> val)	Generated by umod; model author's documentation MISSING.

Method parameters in eu.bandm.tools.dtd with type arguments of type CheckedList

Modifier and Type	Method	Description
static Pattern<DTD.Choice>	DTD.Choice.get_alts(Pattern<? super CheckedList<DTD.CP>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<DTD.Attlist>	DTD.Attlist.get_atts(Pattern<? super CheckedList<DTD.AttDef>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<DTD.Seq>	DTD.Seq.get_elems(Pattern<? super CheckedList<DTD.CP>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<DTD.Dtd>	DTD.Dtd.get_markup(Pattern<? super CheckedList<DTD.MarkupDecl>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<DTD.Mixed>	DTD.Mixed.get_names(Pattern<? super CheckedList<String>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<DTD.Enumerated>	DTD.Enumerated.get_tokens(Pattern<? super CheckedList<String>> p)	Lifts a pattern which matches the field value to one which matches this whole object.

Constructors in eu.bandm.tools.dtd with parameters of type CheckedList

Modifier	Constructor	Description
	Choice(int modifier, CheckedList<DTD.CP> alts)	Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".
	Choice(CheckedList<DTD.CP> alts)	Constructor generated according to specification #1 Constructor defined according to directive "C 1/..".
	Enumerated(CheckedList<String> tokens)	Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".
	Mixed(CheckedList<String> names)	Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".
	Seq(int modifier, CheckedList<DTD.CP> elems)	Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".
	Seq(CheckedList<DTD.CP> elems)	Constructor generated according to specification #1 Constructor defined according to directive "C 1/..".

Uses of CheckedList in eu.bandm.tools.dtm

Fields in eu.bandm.tools.dtm declared as CheckedList

Modifier and Type	Field	Description
protected CheckedList<DTM.CP>	DTM.Choice.alts	Generated by umod; model author's documentation MISSING.
protected CheckedList<DTM.CP>	DTM.Sequence.elems	Generated by umod; model author's documentation MISSING.

Fields in eu.bandm.tools.dtm with type parameters of type CheckedList

Modifier and Type	Field	Description
protected CheckedMap_RD<String,CheckedList<DTM.ProcessingInstruction>>	DTM.Dtd.instructions	Generated by umod; model author's documentation MISSING.

Methods in eu.bandm.tools.dtm that return CheckedList

Modifier and Type	Method	Description
CheckedList<DTM.CP>	DTM.Choice.get_alts()	Generated by umod; model author's documentation MISSING.
CheckedList<DTM.CP>	DTM.Sequence.get_elems()	Generated by umod; model author's documentation MISSING.

Methods in eu.bandm.tools.dtm that return types with arguments of type CheckedList

Modifier and Type	Method	Description
CheckedMap_RD<String,CheckedList<DTM.ProcessingInstruction>>	DTM.Dtd.get_instructions()	Generated by umod; model author's documentation MISSING.

Methods in eu.bandm.tools.dtm with parameters of type CheckedList

Modifier and Type	Method	Description
void	DTM.Dtd.put_instructions(String key0, CheckedList<DTM.ProcessingInstruction> value)	Convenience un-Currying method.
DTM.Choice	DTM.Choice.with_alts(CheckedList<DTM.CP> val)	Generated by umod; model author's documentation MISSING.
DTM.Sequence	DTM.Sequence.with_elems(CheckedList<DTM.CP> val)	Generated by umod; model author's documentation MISSING.

Method parameters in eu.bandm.tools.dtm with type arguments of type CheckedList

Modifier and Type	Method	Description
static Pattern<DTM.Choice>	DTM.Choice.get_alts(Pattern<? super CheckedList<DTM.CP>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<DTM.Sequence>	DTM.Sequence.get_elems(Pattern<? super CheckedList<DTM.CP>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<DTM.Dtd>	DTM.Dtd.get_instructions(Pattern<? super CheckedMap_RD<String,CheckedList<DTM.ProcessingInstruction>>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
boolean	DTM.Dtd.set_instructions(CheckedMap_RD<String,CheckedList<DTM.ProcessingInstruction>> val)	Generated by umod; model author's documentation MISSING.

Uses of CheckedList in eu.bandm.tools.lablog.xml

Fields in eu.bandm.tools.lablog.xml declared as CheckedList

Modifier and Type	Field	Description
final CheckedList<Element.UnmixedContent>	Element_a_all.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_alpha.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_ascii_alpha.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_ascii_lower.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_ascii_upper.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_a_blink.Content>	Element_a_blink.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_a_bold.Content>	Element_a_bold.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_border.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_decimalDigit.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_decimalPositive.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_a_emph.Content>	Element_a_emph.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_a_footnote.Content>	Element_a_footnote.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_a_footnotetext.Content>	Element_a_footnotetext.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_ident.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_identFirstChar.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_identInnerChar.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_image_align.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_image_alt.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_image_file.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_image_height.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_image_width.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_a_indexhi.Content>	Element_a_indexhi.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_a_indexlo.Content>	Element_a_indexlo.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_a_ital.Content>	Element_a_ital.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_key.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_label.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_a_larger.Content>	Element_a_larger.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_listContinues.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_a_listitem.Content>	Element_a_listitem.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_listStartnum.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_listSymbol.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_loc.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_locus.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_mode.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_opus.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_a_p.Content>	Element_a_p.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_path.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_pers.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_pkind.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_popus.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_ppers.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_ref.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_refdate.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_a_scaps.Content>	Element_a_scaps.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_a_smaller.Content>	Element_a_smaller.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_a_spanstyle.Content>	Element_a_spanstyle.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_a_src.Content>	Element_a_src.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_a_SRC.Content>	Element_a_SRC.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_a_strikeout.Content>	Element_a_strikeout.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_a_td.Content>	Element_a_td.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_tdCls.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_a_text.Content>	Element_a_text.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_a_th.Content>	Element_a_th.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_a_ulin.Content>	Element_a_ulin.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_url.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_verbatimXml.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_a_whitespace.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_a_xemph.Content>	Element_a_xemph.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_a_xlang.Content>	Element_a_xlang.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_author.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_costs.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_date.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element_desc.Content>	Element_desc.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_dez.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_ident.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_name.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_prior.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_reference.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.

Uses of CheckedList in eu.bandm.tools.lljava.absy

Fields in eu.bandm.tools.lljava.absy declared as CheckedList

Modifier and Type	Field	Description
protected CheckedList<LLJava.Annotation>	LLJava.DimensionExpr.annotations	Generated by umod; model author's documentation MISSING.
protected CheckedList<LLJava.Annotation>	LLJava.Modifiable.annotations	Generated by umod; model author's documentation MISSING.
protected CheckedList<LLJava.Annotation>	LLJava.TypeArgument.annotations	Generated by umod; model author's documentation MISSING.
protected CheckedList<LLJava.Annotation>	LLJava.TypeParameter.annotations	Generated by umod; model author's documentation MISSING.
protected CheckedList<LLJava.Loadable>	LLJava.BootstrapMethod.arguments	Generated by umod; model author's documentation MISSING.
protected CheckedList<LLJava.TypeArgument>	LLJava.ClassTypeExpr.arguments	Generated by umod; model author's documentation MISSING.
protected CheckedList<LLJava.Attribute>	LLJava.Attributable.attrs	Generated by umod; model author's documentation MISSING.
protected CheckedList<LLJava.Attribute>	LLJava.CustomAttribute.attrs	Generated by umod; model author's documentation MISSING.
protected CheckedList<LLJava.LoadableExpr>	LLJava.MemberDynamicName.bootstrapArguments	Generated by umod; model author's documentation MISSING.
protected CheckedList<LLJava.BootstrapMethod>	LLJava.BootstrapMethodsAttribute.bootstrapMethods	Generated by umod; model author's documentation MISSING.
protected CheckedList<LLJava.Case>	LLJava.Switch.cases	Generated by umod; model author's documentation MISSING.
protected CheckedList<LLJava.AnnotationValue>	LLJava.ArrayAnnotationValue.elems	Generated by umod; model author's documentation MISSING.
protected CheckedList<LLJava.Statement>	LLJava.Block.elems	Generated by umod; model author's documentation MISSING.
protected CheckedList<LLJava.ClassReference>	LLJava.Method.exceptions	Generated by umod; model author's documentation MISSING.
protected CheckedList<LLJava.Exception>	LLJava.CodeMethodBody.exceptionTable	The table of exception handlers for the code of this method.
protected CheckedList<LLJava.Field>	LLJava.Class.fields	Generated by umod; model author's documentation MISSING.
protected CheckedList<LLJava.Handler>	LLJava.Try.handlers	Generated by umod; model author's documentation MISSING.
protected CheckedList<LLJava.InnerClass>	LLJava.Class.innerClasses	Generated by umod; model author's documentation MISSING.
protected CheckedList<LLJava.ClassReference>	LLJava.Class.interfaces	Generated by umod; model author's documentation MISSING.
protected CheckedList<LLJava.ReferenceTypeExpr>	LLJava.UpperTypeBound.interfaces	Generated by umod; model author's documentation MISSING.
protected CheckedList<LLJava.Name>	LLJava.Block.labels	Generated by umod; model author's documentation MISSING.
protected CheckedList<LLJava.VType>	LLJava.StackFrame.locals	Generated by umod; model author's documentation MISSING.
protected CheckedList<LLJava.Method>	LLJava.Class.methods	Generated by umod; model author's documentation MISSING.
protected CheckedList<LLJava.VType>	LLJava.StackFrame.operands	Generated by umod; model author's documentation MISSING.
protected CheckedList<LLJava.Parameter>	LLJava.Method.parameters	Generated by umod; model author's documentation MISSING.
protected CheckedList<LLJava.MethodReferenceParameter>	LLJava.MethodReference.parameters	Generated by umod; model author's documentation MISSING.
protected CheckedList<LLJava.TypeExpr>	LLJava.MethodTypeExpr.parameters	Generated by umod; model author's documentation MISSING.
protected CheckedList<LLJava.ConstantPoolEntry>	LLJava.Class.pool	Generated by umod; model author's documentation MISSING.
protected CheckedList<LLJava.Id>	LLJava.QualId.qualifier	Generated by umod; model author's documentation MISSING.
protected CheckedList<LLJava.StackFrameDelta>	LLJava.CodeMethodBody.stackMap	A stack map specifying the static type analysis of the code of this method.
protected CheckedList<LLJava.TypeParameter>	LLJava.Class.typeParameters	Generated by umod; model author's documentation MISSING.
protected CheckedList<LLJava.TypeParameter>	LLJava.Method.typeParameters	Generated by umod; model author's documentation MISSING.

Methods in eu.bandm.tools.lljava.absy that return CheckedList

Modifier and Type	Method	Description
CheckedList<LLJava.Annotation>	LLJava.DimensionExpr.get_annotations()	Generated by umod; model author's documentation MISSING.
CheckedList<LLJava.Annotation>	LLJava.Modifiable.get_annotations()	Generated by umod; model author's documentation MISSING.
CheckedList<LLJava.Annotation>	LLJava.TypeArgument.get_annotations()	Generated by umod; model author's documentation MISSING.
CheckedList<LLJava.Annotation>	LLJava.TypeParameter.get_annotations()	Generated by umod; model author's documentation MISSING.
CheckedList<LLJava.Loadable>	LLJava.BootstrapMethod.get_arguments()	Generated by umod; model author's documentation MISSING.
CheckedList<LLJava.TypeArgument>	LLJava.ClassTypeExpr.get_arguments()	Generated by umod; model author's documentation MISSING.
CheckedList<LLJava.Attribute>	LLJava.Attributable.get_attrs()	Generated by umod; model author's documentation MISSING.
CheckedList<LLJava.Attribute>	LLJava.CustomAttribute.get_attrs()	Generated by umod; model author's documentation MISSING.
CheckedList<LLJava.LoadableExpr>	LLJava.MemberDynamicName.get_bootstrapArguments()	Generated by umod; model author's documentation MISSING.
CheckedList<LLJava.BootstrapMethod>	LLJava.BootstrapMethodsAttribute.get_bootstrapMethods()	Generated by umod; model author's documentation MISSING.
CheckedList<LLJava.Case>	LLJava.Switch.get_cases()	Generated by umod; model author's documentation MISSING.
CheckedList<LLJava.AnnotationValue>	LLJava.ArrayAnnotationValue.get_elems()	Generated by umod; model author's documentation MISSING.
CheckedList<LLJava.Statement>	LLJava.Block.get_elems()	Generated by umod; model author's documentation MISSING.
CheckedList<LLJava.ClassReference>	LLJava.Method.get_exceptions()	Generated by umod; model author's documentation MISSING.
CheckedList<LLJava.Exception>	LLJava.CodeMethodBody.get_exceptionTable()	The table of exception handlers for the code of this method.
CheckedList<LLJava.Field>	LLJava.Class.get_fields()	Generated by umod; model author's documentation MISSING.
CheckedList<LLJava.Handler>	LLJava.Try.get_handlers()	Generated by umod; model author's documentation MISSING.
CheckedList<LLJava.InnerClass>	LLJava.Class.get_innerClasses()	Generated by umod; model author's documentation MISSING.
CheckedList<LLJava.ClassReference>	LLJava.Class.get_interfaces()	Generated by umod; model author's documentation MISSING.
CheckedList<LLJava.ReferenceTypeExpr>	LLJava.UpperTypeBound.get_interfaces()	Generated by umod; model author's documentation MISSING.
CheckedList<LLJava.Name>	LLJava.Block.get_labels()	Generated by umod; model author's documentation MISSING.
CheckedList<LLJava.VType>	LLJava.StackFrame.get_locals()	Generated by umod; model author's documentation MISSING.
CheckedList<LLJava.Method>	LLJava.Class.get_methods()	Generated by umod; model author's documentation MISSING.
CheckedList<LLJava.VType>	LLJava.StackFrame.get_operands()	Generated by umod; model author's documentation MISSING.
CheckedList<LLJava.Parameter>	LLJava.Method.get_parameters()	Generated by umod; model author's documentation MISSING.
CheckedList<LLJava.MethodReferenceParameter>	LLJava.MethodReference.get_parameters()	Generated by umod; model author's documentation MISSING.
CheckedList<LLJava.TypeExpr>	LLJava.MethodTypeExpr.get_parameters()	Generated by umod; model author's documentation MISSING.
CheckedList<LLJava.ConstantPoolEntry>	LLJava.Class.get_pool()	Generated by umod; model author's documentation MISSING.
CheckedList<LLJava.Id>	LLJava.QualId.get_qualifier()	Generated by umod; model author's documentation MISSING.
CheckedList<LLJava.StackFrameDelta>	LLJava.CodeMethodBody.get_stackMap()	A stack map specifying the static type analysis of the code of this method.
CheckedList<LLJava.TypeParameter>	LLJava.Class.get_typeParameters()	Generated by umod; model author's documentation MISSING.
CheckedList<LLJava.TypeParameter>	LLJava.Method.get_typeParameters()	Generated by umod; model author's documentation MISSING.

Methods in eu.bandm.tools.lljava.absy with parameters of type CheckedList

Modifier and Type	Method	Description
boolean	LLJava.DimensionExpr.set_annotations(CheckedList<LLJava.Annotation> val)	Generated by umod; model author's documentation MISSING.
boolean	LLJava.Modifiable.set_annotations(CheckedList<LLJava.Annotation> val)	Generated by umod; model author's documentation MISSING.
boolean	LLJava.TypeArgument.set_annotations(CheckedList<LLJava.Annotation> val)	Generated by umod; model author's documentation MISSING.
boolean	LLJava.TypeParameter.set_annotations(CheckedList<LLJava.Annotation> val)	Generated by umod; model author's documentation MISSING.
boolean	LLJava.ClassTypeExpr.set_arguments(CheckedList<LLJava.TypeArgument> val)	Generated by umod; model author's documentation MISSING.
boolean	LLJava.Attributable.set_attrs(CheckedList<LLJava.Attribute> val)	Generated by umod; model author's documentation MISSING.
boolean	LLJava.CustomAttribute.set_attrs(CheckedList<LLJava.Attribute> val)	Generated by umod; model author's documentation MISSING.
boolean	LLJava.MemberDynamicName.set_bootstrapArguments(CheckedList<LLJava.LoadableExpr> val)	Generated by umod; model author's documentation MISSING.
boolean	LLJava.BootstrapMethodsAttribute.set_bootstrapMethods(CheckedList<LLJava.BootstrapMethod> val)	Generated by umod; model author's documentation MISSING.
boolean	LLJava.Switch.set_cases(CheckedList<LLJava.Case> val)	Generated by umod; model author's documentation MISSING.
boolean	LLJava.ArrayAnnotationValue.set_elems(CheckedList<LLJava.AnnotationValue> val)	Generated by umod; model author's documentation MISSING.
boolean	LLJava.Block.set_elems(CheckedList<LLJava.Statement> val)	Generated by umod; model author's documentation MISSING.
boolean	LLJava.Method.set_exceptions(CheckedList<LLJava.ClassReference> val)	Generated by umod; model author's documentation MISSING.
boolean	LLJava.CodeMethodBody.set_exceptionTable(CheckedList<LLJava.Exception> val)	The table of exception handlers for the code of this method.
boolean	LLJava.Class.set_fields(CheckedList<LLJava.Field> val)	Generated by umod; model author's documentation MISSING.
boolean	LLJava.Try.set_handlers(CheckedList<LLJava.Handler> val)	Generated by umod; model author's documentation MISSING.
boolean	LLJava.Class.set_innerClasses(CheckedList<LLJava.InnerClass> val)	Generated by umod; model author's documentation MISSING.
boolean	LLJava.Class.set_interfaces(CheckedList<LLJava.ClassReference> val)	Generated by umod; model author's documentation MISSING.
boolean	LLJava.UpperTypeBound.set_interfaces(CheckedList<LLJava.ReferenceTypeExpr> val)	Generated by umod; model author's documentation MISSING.
boolean	LLJava.Block.set_labels(CheckedList<LLJava.Name> val)	Generated by umod; model author's documentation MISSING.
boolean	LLJava.Class.set_methods(CheckedList<LLJava.Method> val)	Generated by umod; model author's documentation MISSING.
boolean	LLJava.Method.set_parameters(CheckedList<LLJava.Parameter> val)	Generated by umod; model author's documentation MISSING.
boolean	LLJava.MethodReference.set_parameters(CheckedList<LLJava.MethodReferenceParameter> val)	Generated by umod; model author's documentation MISSING.
boolean	LLJava.MethodTypeExpr.set_parameters(CheckedList<LLJava.TypeExpr> val)	Generated by umod; model author's documentation MISSING.
boolean	LLJava.Class.set_pool(CheckedList<LLJava.ConstantPoolEntry> val)	Generated by umod; model author's documentation MISSING.
boolean	LLJava.CodeMethodBody.set_stackMap(CheckedList<LLJava.StackFrameDelta> val)	A stack map specifying the static type analysis of the code of this method.
boolean	LLJava.Class.set_typeParameters(CheckedList<LLJava.TypeParameter> val)	Generated by umod; model author's documentation MISSING.
boolean	LLJava.Method.set_typeParameters(CheckedList<LLJava.TypeParameter> val)	Generated by umod; model author's documentation MISSING.
LLJava.BootstrapMethod	LLJava.BootstrapMethod.with_arguments(CheckedList<LLJava.Loadable> val)	Generated by umod; model author's documentation MISSING.
LLJava.StackFrame	LLJava.StackFrame.with_locals(CheckedList<LLJava.VType> val)	Generated by umod; model author's documentation MISSING.
LLJava.StackFrame	LLJava.StackFrame.with_operands(CheckedList<LLJava.VType> val)	Generated by umod; model author's documentation MISSING.
LLJava.QualId	LLJava.QualId.with_qualifier(CheckedList<LLJava.Id> val)	Generated by umod; model author's documentation MISSING.

Method parameters in eu.bandm.tools.lljava.absy with type arguments of type CheckedList

Modifier and Type	Method	Description
static Pattern<LLJava.DimensionExpr>	LLJava.DimensionExpr.get_annotations(Pattern<? super CheckedList<LLJava.Annotation>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Modifiable>	LLJava.Modifiable.get_annotations(Pattern<? super CheckedList<LLJava.Annotation>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.TypeArgument>	LLJava.TypeArgument.get_annotations(Pattern<? super CheckedList<LLJava.Annotation>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.TypeParameter>	LLJava.TypeParameter.get_annotations(Pattern<? super CheckedList<LLJava.Annotation>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.BootstrapMethod>	LLJava.BootstrapMethod.get_arguments(Pattern<? super CheckedList<LLJava.Loadable>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.ClassTypeExpr>	LLJava.ClassTypeExpr.get_arguments(Pattern<? super CheckedList<LLJava.TypeArgument>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Attributable>	LLJava.Attributable.get_attrs(Pattern<? super CheckedList<LLJava.Attribute>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.CustomAttribute>	LLJava.CustomAttribute.get_attrs(Pattern<? super CheckedList<LLJava.Attribute>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.MemberDynamicName>	LLJava.MemberDynamicName.get_bootstrapArguments(Pattern<? super CheckedList<LLJava.LoadableExpr>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.BootstrapMethodsAttribute>	LLJava.BootstrapMethodsAttribute.get_bootstrapMethods(Pattern<? super CheckedList<LLJava.BootstrapMethod>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Switch>	LLJava.Switch.get_cases(Pattern<? super CheckedList<LLJava.Case>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.ArrayAnnotationValue>	LLJava.ArrayAnnotationValue.get_elems(Pattern<? super CheckedList<LLJava.AnnotationValue>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Block>	LLJava.Block.get_elems(Pattern<? super CheckedList<LLJava.Statement>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Method>	LLJava.Method.get_exceptions(Pattern<? super CheckedList<LLJava.ClassReference>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.CodeMethodBody>	LLJava.CodeMethodBody.get_exceptionTable(Pattern<? super CheckedList<LLJava.Exception>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Class>	LLJava.Class.get_fields(Pattern<? super CheckedList<LLJava.Field>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Try>	LLJava.Try.get_handlers(Pattern<? super CheckedList<LLJava.Handler>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Class>	LLJava.Class.get_innerClasses(Pattern<? super CheckedList<LLJava.InnerClass>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Class>	LLJava.Class.get_interfaces(Pattern<? super CheckedList<LLJava.ClassReference>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.UpperTypeBound>	LLJava.UpperTypeBound.get_interfaces(Pattern<? super CheckedList<LLJava.ReferenceTypeExpr>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Block>	LLJava.Block.get_labels(Pattern<? super CheckedList<LLJava.Name>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.StackFrame>	LLJava.StackFrame.get_locals(Pattern<? super CheckedList<LLJava.VType>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Class>	LLJava.Class.get_methods(Pattern<? super CheckedList<LLJava.Method>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.StackFrame>	LLJava.StackFrame.get_operands(Pattern<? super CheckedList<LLJava.VType>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Method>	LLJava.Method.get_parameters(Pattern<? super CheckedList<LLJava.Parameter>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.MethodReference>	LLJava.MethodReference.get_parameters(Pattern<? super CheckedList<LLJava.MethodReferenceParameter>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.MethodTypeExpr>	LLJava.MethodTypeExpr.get_parameters(Pattern<? super CheckedList<LLJava.TypeExpr>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Class>	LLJava.Class.get_pool(Pattern<? super CheckedList<LLJava.ConstantPoolEntry>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.QualId>	LLJava.QualId.get_qualifier(Pattern<? super CheckedList<LLJava.Id>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.CodeMethodBody>	LLJava.CodeMethodBody.get_stackMap(Pattern<? super CheckedList<LLJava.StackFrameDelta>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Class>	LLJava.Class.get_typeParameters(Pattern<? super CheckedList<LLJava.TypeParameter>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.Method>	LLJava.Method.get_typeParameters(Pattern<? super CheckedList<LLJava.TypeParameter>> p)	Lifts a pattern which matches the field value to one which matches this whole object.

Constructors in eu.bandm.tools.lljava.absy with parameters of type CheckedList

Modifier	Constructor	Description
	ArrayAnnotationValue(CheckedList<LLJava.AnnotationValue> elems)	Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".
	BootstrapMethod(LLJava.MethodHandle handle, CheckedList<LLJava.Loadable> arguments)	Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".
	ClassTypeExpr(LLJava.QualId name, CheckedList<LLJava.TypeArgument> arguments)	Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".
	MemberDynamicName(LLJava.Id name, LLJava.MethodHandleExpr factory, CheckedList<LLJava.LoadableExpr> bootstrapArguments)	Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".
	QualId(CheckedList<LLJava.Id> qualifier, LLJava.Id id)	Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".
	Switch(CheckedList<LLJava.Case> cases)	Constructor generated according to specification #1 Constructor defined according to directive "C 1/..".
	Try(LLJava.CodeInterval body, CheckedList<LLJava.Handler> handlers)	Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".
	TypeParameter(CheckedList<LLJava.Annotation> annotations, LLJava.Id name, LLJava.UpperTypeBound bound)	Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".
	UpperTypeBound(LLJava.ReferenceTypeExpr limit, CheckedList<LLJava.ReferenceTypeExpr> interfaces)	Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".

Uses of CheckedList in eu.bandm.tools.lljava.parser

Methods in eu.bandm.tools.lljava.parser that return CheckedList

Modifier and Type	Method	Description
protected static <A> CheckedList<A>	LLJavaGrammar.check(List<? extends A> elems)

Uses of CheckedList in eu.bandm.tools.muli.tdom

Fields in eu.bandm.tools.muli.tdom declared as CheckedList

Modifier and Type	Field	Description
final CheckedList<Element.UnmixedContent>	Element_text.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.

Uses of CheckedList in eu.bandm.tools.option.absy

Fields in eu.bandm.tools.option.absy declared as CheckedList

Modifier and Type	Field	Description
final CheckedList<Element.UnmixedContent>	Element_text.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.
final CheckedList<Element.UnmixedContent>	Element_v.content	List of contents elements, may freely be manipulated, as long as no null value is tried to enter.

Uses of CheckedList in eu.bandm.tools.tdom.runtime

Subclasses of CheckedList in eu.bandm.tools.tdom.runtime

Modifier and Type	Class	Description
class	CheckedListPlus<T>	Extends the checked list to ensure that it does not become empty.

Methods in eu.bandm.tools.tdom.runtime that return CheckedList

Modifier and Type	Method	Description
protected static <T> CheckedList<T>	TypedNode.checkStar(String name, CheckedList<T> arg)
static <C extends TypedContent, E extends TypedExtension, Y extends Exception> CheckedList<C>	TypedElement.decodeStarList(TypedContent.DecodingConstructor<? extends C,E,Y> constructor, DecodingInputStream in, E ext, Class<C> contentClass)
static <C extends TypedContent, E extends TypedElement<E, X>, X extends TypedExtension, Y extends Exception> CheckedList<C>	TypedElement.parseStarList(TypedContent.ParsingConstructor<? extends C,E,X,Y> constructor, ContentMapping content, X ext, TypedNode.ParseListener<E> listener, Class<C> contentClass)

Methods in eu.bandm.tools.tdom.runtime with parameters of type CheckedList

Modifier and Type	Method	Description
protected static <T> CheckedList<T>	TypedNode.checkStar(String name, CheckedList<T> arg)
protected static <E extends TypedExtension> void	TypedNode.encodeStar(boolean asAbstract, CheckedList<? extends TypedNode<E>> nodes, EncodingOutputStream out, E ext)

Uses of CheckedList in eu.bandm.tools.tpath.absy

Fields in eu.bandm.tools.tpath.absy declared as CheckedList

Modifier and Type	Field	Description
protected CheckedList<TPath.Expr>	TPath.FunctionCall.args	Generated by umod; model author's documentation MISSING.
protected CheckedList<TPath.Expr>	TPath.Step.predicates	Generated by umod; model author's documentation MISSING.

Fields in eu.bandm.tools.tpath.absy with type parameters of type CheckedList

Modifier and Type	Field	Description
static final Function<TPath.FunctionCall,CheckedList<TPath.Expr>>	TPath.FunctionCall.get_args	Deprecated. Use new '::' method reference instead.
static final Function<TPath.Step,CheckedList<TPath.Expr>>	TPath.Step.get_predicates	Deprecated. Use new '::' method reference instead.

Methods in eu.bandm.tools.tpath.absy that return CheckedList

Modifier and Type	Method	Description
CheckedList<TPath.Expr>	TPath.FunctionCall.get_args()	Generated by umod; model author's documentation MISSING.
CheckedList<TPath.Expr>	TPath.Step.get_predicates()	Generated by umod; model author's documentation MISSING.
protected CheckedList<TPath.Expr>	TPath.__SAX_Parser.parse_0()
protected CheckedList<TPath.Expr>	TPath.__SAX_Parser.parse_1()

Methods in eu.bandm.tools.tpath.absy with parameters of type CheckedList

Modifier and Type	Method	Description
boolean	TPath.FunctionCall.set_args(CheckedList<TPath.Expr> val)	Generated by umod; model author's documentation MISSING.
boolean	TPath.Step.set_predicates(CheckedList<TPath.Expr> val)	Generated by umod; model author's documentation MISSING.

Method parameters in eu.bandm.tools.tpath.absy with type arguments of type CheckedList

Modifier and Type	Method	Description
static Pattern<TPath.FunctionCall>	TPath.FunctionCall.get_args(Pattern<? super CheckedList<TPath.Expr>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<TPath.Step>	TPath.Step.get_predicates(Pattern<? super CheckedList<TPath.Expr>> p)	Lifts a pattern which matches the field value to one which matches this whole object.

Constructors in eu.bandm.tools.tpath.absy with parameters of type CheckedList

Modifier	Constructor	Description
	FunctionCall(Location<XMLDocumentIdentifier> location, String name, CheckedList<TPath.Expr> args)	Constructor generated according to specification #1 Constructor defined according to directive "C 1/..".
	Step(Location<XMLDocumentIdentifier> location, TPath.Expr base, TPath.AxisSpecifier axis, TPath.Test test, CheckedList<TPath.Expr> predicates)	Constructor generated according to specification #1 Constructor defined according to directive "C 1/..".

Uses of CheckedList in eu.bandm.tools.tpath.parser2

Fields in eu.bandm.tools.tpath.parser2 declared as CheckedList

Modifier and Type	Field	Description
(package private) final CheckedList<TPath.Expr>	Parser.emptyTests

Uses of CheckedList in eu.bandm.tools.umod

Fields in eu.bandm.tools.umod with type parameters of type CheckedList

Modifier and Type	Field	Description
protected CheckedMap_RD<UMod.Item,CheckedList<String>>	UMod.Forest.docutexts

Uses of CheckedList in eu.bandm.tools.umod.runtime

Methods in eu.bandm.tools.umod.runtime that return CheckedList

Modifier and Type	Method	Description
static <T> CheckedList<T>	CheckedList.singleton(T x)