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	Description
protected CheckedSet<Module>	ResolvedModule.allRawModules	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	Description
static final Function<ResolvedModule,CheckedSet<Module>>	ResolvedModule.get_allRawModules	Deprecated. Use new '::' method reference instead.
static final Function<DefInstance,CheckedSet<String>>	DefInstance.get_importKeys	Deprecated. Use new '::' method reference instead.
static final Function<Perm,CheckedSet<Expression>>	Perm.get_obligates	Deprecated. Use new '::' method reference instead.
static final 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	Description
CheckedSet<Module>	ResolvedModule.get_allRawModules()	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	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	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	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	Description
static Pattern<ResolvedModule>	ResolvedModule.get_allRawModules(Pattern<? super CheckedSet<Module>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<DefInstance>	DefInstance.get_importKeys(Pattern<? super CheckedSet<String>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<Perm>	Perm.get_obligates(Pattern<? super CheckedSet<Expression>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<Enumeration>	Enumeration.get_reverse(Pattern<? super CheckedMap_RD<Integer,CheckedSet<String>>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
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	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	Description
static final Function<State_perm,CheckedSet<Expression>>	State_perm.get_consumed	Deprecated. Use new '::' method reference instead.
static final 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	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	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.

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

Modifier and Type	Method	Description
static Pattern<State_perm>	State_perm.get_consumed(Pattern<? super CheckedSet<Expression>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<State_perm>	State_perm.get_obligates(Pattern<? super CheckedSet<Expression>> p)	Lifts a pattern which matches the field value to one which matches this whole object.

Uses of CheckedSet in eu.bandm.tools.dtm

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

Modifier and Type	Field	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.

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

Modifier and Type	Method	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.

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

Modifier and Type	Method	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.

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

Modifier and Type	Method	Description
static Pattern<DTM.Mixed>	DTM.Mixed.get_elems(Pattern<? super CheckedSet<DTM.ElementRef>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<DTM.Enumerated>	DTM.Enumerated.get_values(Pattern<? super CheckedSet<String>> p)	Lifts a pattern which matches the field value to one which matches this whole object.

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

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

Modifier and Type	Field	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	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	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	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.

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

Modifier	Constructor	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	Description
protected CheckedSet<String>	Node.Enumerated.values

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

Modifier and Type	Field	Description
static final 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	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	Description
Node.Enumerated	Node.Enumerated.with_values(CheckedSet<String> val)

Uses of CheckedSet in eu.bandm.tools.umod

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

Modifier and Type	Field	Description
(package private) final CheckedSet<UMod.T_reference>	UMod2visitors.V_makeDescend.visitable_leaf_types	Deprecated.
(package private) final CheckedSet<UMod.T_reference>	UMod2visitors.V_makeVDescend.visitable_leaf_types

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

Modifier and Type	Field	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	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	Description
static <T> CheckedSet<T>	CheckedSet.check(Set<? extends T> prototype)
static <T> CheckedSet<T>	CheckedSet.singleton(T x)

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

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

Modifier and Type	Field	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	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 final Function<Rt.Report,CheckedSet<XMLDocumentIdentifier>>	Rt.Report.get_allFiles	Deprecated. Use new '::' method reference instead.
static final Function<Rt.TemplatesByKind,CheckedSet<Rt.TemplateEntry>>	Rt.TemplatesByKind.get_allPis	Deprecated. Use new '::' method reference instead.
static final Function<Rt.TemplatesByKind,CheckedMap_RD<NamespaceName,CheckedSet<Rt.TemplateEntry>>>	Rt.TemplatesByKind.get_attrsByName	Deprecated. Use new '::' method reference instead.
static final Function<Rt.TemplatesByKind,CheckedMap_RD<String,CheckedSet<Rt.TemplateEntry>>>	Rt.TemplatesByKind.get_attrsByNsUri	Deprecated. Use new '::' method reference instead.
static final Function<Rt.TemplatesByKind,CheckedSet<Rt.TemplateEntry>>	Rt.TemplatesByKind.get_comment	Deprecated. Use new '::' method reference instead.
static final Function<Rt.TemplatesByKind,CheckedMap_RD<NamespaceName,CheckedSet<Rt.TemplateEntry>>>	Rt.TemplatesByKind.get_elemsByName	Deprecated. Use new '::' method reference instead.
static final Function<Rt.TemplatesByKind,CheckedMap_RD<String,CheckedSet<Rt.TemplateEntry>>>	Rt.TemplatesByKind.get_elemsByNsUri	Deprecated. Use new '::' method reference instead.
static final Function<Rt.TemplatesByKind,CheckedSet<Rt.TemplateEntry>>	Rt.TemplatesByKind.get_node	Deprecated. Use new '::' method reference instead.
static final Function<Rt.TemplatesByKind,CheckedMap_RD<String,CheckedSet<Rt.TemplateEntry>>>	Rt.TemplatesByKind.get_piByName	Deprecated. Use new '::' method reference instead.
static final Function<Rt.TemplatesByKind,CheckedSet<Rt.TemplateEntry>>	Rt.TemplatesByKind.get_text	Deprecated. Use new '::' method reference instead.
static final Function<Rt.Report,CheckedSet<NamespaceName>>	Rt.Report.get_undefDefs	Deprecated. Use new '::' method reference instead.
static final Function<Rt.Report,CheckedSet<NamespaceName>>	Rt.Report.get_undefModes	Deprecated. Use new '::' method reference instead.
static final 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	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	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	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	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)