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

Packages that use CheckedSet

Package	Description
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.dtm	Canonical model of a W3C DTD with evaluated semantics; plus utility applications.
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.tpath.type	Type checking for tpath expressions.
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, esp for data integrity de/serialization, visualzation, visitors and rewriters.
eu.bandm.tools.xslt.base	txsl = typed xslt 1.0 interpreter with "fragmented validation".

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

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

Modifier and Type	Field and Description
protected CheckedSet<Module>	ResolvedModule.allRawModules Generated by umod; model author's documentation MISSING.
protected CheckedSet<Definition>	XRegExp.attributes Generated by umod; model author's documentation MISSING.
protected CheckedSet<String>	DefInstance.importKeys Generated by umod; model author's documentation MISSING.
protected CheckedSet<Expression>	Perm.obligates Generated by umod; model author's documentation MISSING.

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

Modifier and Type	Field and Description
static Function<ResolvedModule,CheckedSet<Module>>	ResolvedModule.get_allRawModules Deprecated. Use new '::' method reference instead.
static Function<XRegExp,CheckedSet<Definition>>	XRegExp.get_attributes Deprecated. Use new '::' method reference instead.
static Function<DefInstance,CheckedSet<String>>	DefInstance.get_importKeys Deprecated. Use new '::' method reference instead.
static Function<Perm,CheckedSet<Expression>>	Perm.get_obligates Deprecated. Use new '::' method reference instead.
static Function<Enumeration,CheckedMap_RD<Integer,CheckedSet<String>>>	Enumeration.get_reverse Deprecated. Use new '::' method reference instead.
protected CheckedMap_RD<Integer,CheckedSet<String>>	Enumeration.reverse Generated by umod; model author's documentation MISSING.

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

Modifier and Type	Method and Description
CheckedSet<Module>	ResolvedModule.get_allRawModules() Generated by umod; model author's documentation MISSING.
CheckedSet<Definition>	XRegExp.get_attributes() Generated by umod; model author's documentation MISSING.
CheckedSet<String>	DefInstance.get_importKeys() Generated by umod; model author's documentation MISSING.
CheckedSet<Expression>	Perm.get_obligates() Generated by umod; model author's documentation MISSING.

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

Modifier and Type	Method and Description
CheckedMap_RD<Integer,CheckedSet<String>>	Enumeration.get_reverse() Generated by umod; model author's documentation MISSING.

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

Modifier and Type	Method and Description
void	Enumeration.put_reverse(int key0, CheckedSet<String> value) Convenience un-Currying method.
boolean	ResolvedModule.set_allRawModules(CheckedSet<Module> val) Generated by umod; model author's documentation MISSING.
boolean	XRegExp.set_attributes(CheckedSet<Definition> val) Generated by umod; model author's documentation MISSING.
boolean	DefInstance.set_importKeys(CheckedSet<String> val) Generated by umod; model author's documentation MISSING.
Perm	Perm.with_obligates(CheckedSet<Expression> val) Generated by umod; model author's documentation MISSING.

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

Modifier and Type	Method and Description
boolean	Enumeration.set_reverse(CheckedMap_RD<Integer,CheckedSet<String>> val) Generated by umod; model author's documentation MISSING.

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

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

Modifier and Type	Field and Description
protected CheckedSet<Expression>	State_perm.consumed Generated by umod; model author's documentation MISSING.
protected CheckedSet<Expression>	State_perm.obligates Generated by umod; model author's documentation MISSING.

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

Modifier and Type	Field and Description
static Function<State_perm,CheckedSet<Expression>>	State_perm.get_consumed Deprecated. Use new '::' method reference instead.
static Function<State_perm,CheckedSet<Expression>>	State_perm.get_obligates Deprecated. Use new '::' method reference instead.

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

Modifier and Type	Method and Description
CheckedSet<Expression>	State_perm.get_consumed() Generated by umod; model author's documentation MISSING.
CheckedSet<Expression>	State_perm.get_obligates() Generated by umod; model author's documentation MISSING.

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

Modifier and Type	Method and Description
boolean	State_perm.set_consumed(CheckedSet<Expression> val) Generated by umod; model author's documentation MISSING.
boolean	State_perm.set_obligates(CheckedSet<Expression> val) Generated by umod; model author's documentation MISSING.

Uses of CheckedSet in eu.bandm.tools.dtm

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

Modifier and Type	Field and Description
protected CheckedSet<DTM.ElementRef>	DTM.Mixed.elems Generated by umod; model author's documentation MISSING.
protected CheckedSet<String>	DTM.Enumerated.values Generated by umod; model author's documentation MISSING.

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

Modifier and Type	Field and Description
static Function<DTM.Mixed,CheckedSet<DTM.ElementRef>>	DTM.Mixed.get_elems Deprecated. Use new '::' method reference instead.
static Function<DTM.Enumerated,CheckedSet<String>>	DTM.Enumerated.get_values Deprecated. Use new '::' method reference instead.

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

Modifier and Type	Method and Description
CheckedSet<DTM.ElementRef>	DTM.Mixed.get_elems() Generated by umod; model author's documentation MISSING.
CheckedSet<String>	DTM.Enumerated.get_values() Generated by umod; model author's documentation MISSING.
protected CheckedSet<DTM.ElementRef>	DTM.__SAX_Parser.parse_2()
protected CheckedSet<String>	DTM.__SAX_Parser.parse_5()

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

Modifier and Type	Method and Description
DTM.Mixed	DTM.Mixed.with_elems(CheckedSet<DTM.ElementRef> val) Generated by umod; model author's documentation MISSING.
DTM.Enumerated	DTM.Enumerated.with_values(CheckedSet<String> val) Generated by umod; model author's documentation MISSING.

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

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

Modifier and Type	Field and Description
protected CheckedSet<Integer>	LLJava.Case.labels Generated by umod; model author's documentation MISSING.
protected CheckedSet<LLJava.Instruction>	LLJava.CodeMethodBody.stackMapPlaces The set of instructions requiring stack map information in the code of this method.

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

Modifier and Type	Method and Description
CheckedSet<Integer>	LLJava.Case.get_labels() Generated by umod; model author's documentation MISSING.
CheckedSet<LLJava.Instruction>	LLJava.CodeMethodBody.get_stackMapPlaces() The set of instructions requiring stack map information in the code of this method.

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

Modifier and Type	Method and Description
boolean	LLJava.Case.set_labels(CheckedSet<Integer> val) Generated by umod; model author's documentation MISSING.
boolean	LLJava.CodeMethodBody.set_stackMapPlaces(CheckedSet<LLJava.Instruction> val) The set of instructions requiring stack map information in the code of this method.

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

Modifier and Type	Method and Description
static Pattern<LLJava.Case>	LLJava.Case.get_labels(Pattern<? super CheckedSet<Integer>> p) Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.CodeMethodBody>	LLJava.CodeMethodBody.get_stackMapPlaces(Pattern<? super CheckedSet<LLJava.Instruction>> p) Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<? super LLJava.Case>	LLJava.__Patterns.term_Case(Pattern<? super LLJava.Node> superpattern, Pattern<? super CheckedSet<Integer>> p_labels, Pattern<? super Boolean> p_isDefault, Pattern<? super LLJava.CodePoint> p_body)
static Pattern<? super LLJava.CodeMethodBody>	LLJava.__Patterns.term_CodeMethodBody(Pattern<? super LLJava.MethodBody> superpattern, Pattern<? super LLJava.Block> p_block, Pattern<? super CheckedList<LLJava.Exception>> p_exceptionTable, Pattern<? super Integer> p_maxLocals, Pattern<? super Integer> p_maxOperands, Pattern<? super CheckedSet<LLJava.Instruction>> p_stackMapPlaces, Pattern<? super CheckedList<LLJava.StackFrameDelta>> p_stackMap)

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

Constructor and Description
Case(CheckedSet<Integer> labels, boolean isDefault, LLJava.CodePoint body) Constructor generated according to specification #0 Constructor defined according to directive "C 0/..".

Uses of CheckedSet in eu.bandm.tools.tpath.type

Fields in eu.bandm.tools.tpath.type declared as CheckedSet

Modifier and Type	Field and Description
protected CheckedSet<String>	Node.Enumerated.values

Fields in eu.bandm.tools.tpath.type with type parameters of type CheckedSet

Modifier and Type	Field and Description
static Function<Node.Enumerated,CheckedSet<String>>	Node.Enumerated.get_values Deprecated. Use new '::' method reference instead.

Methods in eu.bandm.tools.tpath.type that return CheckedSet

Modifier and Type	Method and Description
CheckedSet<String>	Node.Enumerated.get_values()
protected CheckedSet<String>	Node.__SAX_Parser.parse_0()

Methods in eu.bandm.tools.tpath.type with parameters of type CheckedSet

Modifier and Type	Method and Description
Node.Enumerated	Node.Enumerated.with_values(CheckedSet<String> val)

Uses of CheckedSet in eu.bandm.tools.umod

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

Modifier and Type	Field and Description
protected CheckedMap_RD<Integer,CheckedSet<UMod.T_reference>>	UMod.FieldDef.visitable_types

Methods in eu.bandm.tools.umod that return types with arguments of type CheckedSet

Modifier and Type	Method and Description
protected CheckedMap_RD<Integer,CheckedSet<UMod.T_reference>>	UMod.FieldDef.get_visitable_types()

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

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

Modifier and Type	Method and Description
static <T> CheckedSet<T>	CheckedSet.check(Set<? extends T> prototype)
static <T> CheckedSet<T>	CheckedSet.check(Set<? extends T> prototype)
static <T> CheckedSet<T>	CheckedSet.singleton(T x)
static <T> CheckedSet<T>	CheckedSet.singleton(T x)

Methods in eu.bandm.tools.umod.runtime that return types with arguments of type CheckedSet

Modifier and Type	Method and Description
protected <T> Function<Set<T>,CheckedSet<T>>	Phrasebook.consCheckedSet()
protected <T> Function<Set<T>,CheckedSet<T>>	Phrasebook.consCheckedSet()
protected <U> Function<O,CheckedSet<U>>	Phrasebook.decode_CheckedSet(Function<? super O,? extends U> f)
protected <U> Function<O,CheckedSet<U>>	Phrasebook.decode_CheckedSet(Function<? super O,? extends U> f)

Uses of CheckedSet in eu.bandm.tools.xslt.base

Fields in eu.bandm.tools.xslt.base declared as CheckedSet

Modifier and Type	Field and Description
protected CheckedSet<XMLDocumentIdentifier>	Rt.Report.allFiles
protected CheckedSet<Rt.TemplateEntry>	Rt.TemplatesByKind.allPis
protected CheckedSet<Rt.TemplateEntry>	Rt.TemplatesByKind.comment
protected CheckedSet<Rt.TemplateEntry>	Rt.TemplatesByKind.node
protected CheckedSet<Rt.TemplateEntry>	Rt.TemplatesByKind.text
protected CheckedSet<NamespaceName>	Rt.Report.undefDefs
protected CheckedSet<NamespaceName>	Rt.Report.undefModes
protected CheckedSet<Rt.Definition>	Rt.Report.unusedDefs

Fields in eu.bandm.tools.xslt.base with type parameters of type CheckedSet

Modifier and Type	Field and Description
protected CheckedMap_RD<NamespaceName,CheckedSet<Rt.TemplateEntry>>	Rt.TemplatesByKind.attrsByName
protected CheckedMap_RD<String,CheckedSet<Rt.TemplateEntry>>	Rt.TemplatesByKind.attrsByNsUri
protected CheckedMap_RD<NamespaceName,CheckedSet<Rt.TemplateEntry>>	Rt.TemplatesByKind.elemsByName
protected CheckedMap_RD<String,CheckedSet<Rt.TemplateEntry>>	Rt.TemplatesByKind.elemsByNsUri
static Function<Rt.Report,CheckedSet<XMLDocumentIdentifier>>	Rt.Report.get_allFiles Deprecated. Use new '::' method reference instead.
static Function<Rt.TemplatesByKind,CheckedSet<Rt.TemplateEntry>>	Rt.TemplatesByKind.get_allPis Deprecated. Use new '::' method reference instead.
static Function<Rt.TemplatesByKind,CheckedMap_RD<NamespaceName,CheckedSet<Rt.TemplateEntry>>>	Rt.TemplatesByKind.get_attrsByName Deprecated. Use new '::' method reference instead.
static Function<Rt.TemplatesByKind,CheckedMap_RD<String,CheckedSet<Rt.TemplateEntry>>>	Rt.TemplatesByKind.get_attrsByNsUri Deprecated. Use new '::' method reference instead.
static Function<Rt.TemplatesByKind,CheckedSet<Rt.TemplateEntry>>	Rt.TemplatesByKind.get_comment Deprecated. Use new '::' method reference instead.
static Function<Rt.TemplatesByKind,CheckedMap_RD<NamespaceName,CheckedSet<Rt.TemplateEntry>>>	Rt.TemplatesByKind.get_elemsByName Deprecated. Use new '::' method reference instead.
static Function<Rt.TemplatesByKind,CheckedMap_RD<String,CheckedSet<Rt.TemplateEntry>>>	Rt.TemplatesByKind.get_elemsByNsUri Deprecated. Use new '::' method reference instead.
static Function<Rt.TemplatesByKind,CheckedSet<Rt.TemplateEntry>>	Rt.TemplatesByKind.get_node Deprecated. Use new '::' method reference instead.
static Function<Rt.TemplatesByKind,CheckedMap_RD<String,CheckedSet<Rt.TemplateEntry>>>	Rt.TemplatesByKind.get_piByName Deprecated. Use new '::' method reference instead.
static Function<Rt.TemplatesByKind,CheckedSet<Rt.TemplateEntry>>	Rt.TemplatesByKind.get_text Deprecated. Use new '::' method reference instead.
static Function<Rt.Report,CheckedSet<NamespaceName>>	Rt.Report.get_undefDefs Deprecated. Use new '::' method reference instead.
static Function<Rt.Report,CheckedSet<NamespaceName>>	Rt.Report.get_undefModes Deprecated. Use new '::' method reference instead.
static Function<Rt.Report,CheckedSet<Rt.Definition>>	Rt.Report.get_unusedDefs Deprecated. Use new '::' method reference instead.
protected CheckedMap_RD<String,CheckedSet<Rt.TemplateEntry>>	Rt.TemplatesByKind.piByName

Methods in eu.bandm.tools.xslt.base that return CheckedSet

Modifier and Type	Method and Description
CheckedSet<XMLDocumentIdentifier>	Rt.Report.get_allFiles()
CheckedSet<Rt.TemplateEntry>	Rt.TemplatesByKind.get_allPis()
CheckedSet<Rt.TemplateEntry>	Rt.TemplatesByKind.get_comment()
CheckedSet<Rt.TemplateEntry>	Rt.TemplatesByKind.get_node()
CheckedSet<Rt.TemplateEntry>	Rt.TemplatesByKind.get_text()
CheckedSet<NamespaceName>	Rt.Report.get_undefDefs()
CheckedSet<NamespaceName>	Rt.Report.get_undefModes()
CheckedSet<Rt.Definition>	Rt.Report.get_unusedDefs()
protected CheckedSet<Rt.TemplateEntry>	Rt.__SAX_Parser.parse_10()
protected CheckedSet<Rt.TemplateEntry>	Rt.__SAX_Parser.parse_11()
protected CheckedSet<Rt.TemplateEntry>	Rt.__SAX_Parser.parse_12()
protected CheckedSet<Rt.Definition>	Rt.__SAX_Parser.parse_2()
protected CheckedSet<Rt.TemplateEntry>	Rt.__SAX_Parser.parse_3()
protected CheckedSet<Rt.TemplateEntry>	Rt.__SAX_Parser.parse_5()
protected CheckedSet<Rt.TemplateEntry>	Rt.__SAX_Parser.parse_7()
protected CheckedSet<Rt.TemplateEntry>	Rt.__SAX_Parser.parse_9()

Methods in eu.bandm.tools.xslt.base that return types with arguments of type CheckedSet

Modifier and Type	Method and Description
CheckedMap_RD<NamespaceName,CheckedSet<Rt.TemplateEntry>>	Rt.TemplatesByKind.get_attrsByName()
CheckedMap_RD<String,CheckedSet<Rt.TemplateEntry>>	Rt.TemplatesByKind.get_attrsByNsUri()
CheckedMap_RD<NamespaceName,CheckedSet<Rt.TemplateEntry>>	Rt.TemplatesByKind.get_elemsByName()
CheckedMap_RD<String,CheckedSet<Rt.TemplateEntry>>	Rt.TemplatesByKind.get_elemsByNsUri()
CheckedMap_RD<String,CheckedSet<Rt.TemplateEntry>>	Rt.TemplatesByKind.get_piByName()
protected CheckedMap_RD<String,CheckedSet<Rt.TemplateEntry>>	Rt.__SAX_Parser.parse_4()
protected CheckedMap_RD<String,CheckedSet<Rt.TemplateEntry>>	Rt.__SAX_Parser.parse_6()
protected CheckedMap_RD<String,CheckedSet<Rt.TemplateEntry>>	Rt.__SAX_Parser.parse_8()

Methods in eu.bandm.tools.xslt.base with parameters of type CheckedSet

Modifier and Type	Method and Description
void	Rt.TemplatesByKind.put_attrsByName(NamespaceName key0, CheckedSet<Rt.TemplateEntry> value)
void	Rt.TemplatesByKind.put_attrsByNsUri(String key0, CheckedSet<Rt.TemplateEntry> value)
void	Rt.TemplatesByKind.put_elemsByName(NamespaceName key0, CheckedSet<Rt.TemplateEntry> value)
void	Rt.TemplatesByKind.put_elemsByNsUri(String key0, CheckedSet<Rt.TemplateEntry> value)
void	Rt.TemplatesByKind.put_piByName(String key0, CheckedSet<Rt.TemplateEntry> value)
boolean	Rt.Report.set_allFiles(CheckedSet<XMLDocumentIdentifier> val)
boolean	Rt.TemplatesByKind.set_allPis(CheckedSet<Rt.TemplateEntry> val)
boolean	Rt.TemplatesByKind.set_comment(CheckedSet<Rt.TemplateEntry> val)
boolean	Rt.TemplatesByKind.set_node(CheckedSet<Rt.TemplateEntry> val)
boolean	Rt.TemplatesByKind.set_text(CheckedSet<Rt.TemplateEntry> val)
boolean	Rt.Report.set_undefDefs(CheckedSet<NamespaceName> val)
boolean	Rt.Report.set_undefModes(CheckedSet<NamespaceName> val)
boolean	Rt.Report.set_unusedDefs(CheckedSet<Rt.Definition> val)

Method parameters in eu.bandm.tools.xslt.base with type arguments of type CheckedSet

Modifier and Type	Method and Description
boolean	Rt.TemplatesByKind.set_attrsByName(CheckedMap_RD<NamespaceName,CheckedSet<Rt.TemplateEntry>> val)
boolean	Rt.TemplatesByKind.set_attrsByNsUri(CheckedMap_RD<String,CheckedSet<Rt.TemplateEntry>> val)
boolean	Rt.TemplatesByKind.set_elemsByName(CheckedMap_RD<NamespaceName,CheckedSet<Rt.TemplateEntry>> val)
boolean	Rt.TemplatesByKind.set_elemsByNsUri(CheckedMap_RD<String,CheckedSet<Rt.TemplateEntry>> val)
boolean	Rt.TemplatesByKind.set_piByName(CheckedMap_RD<String,CheckedSet<Rt.TemplateEntry>> val)