Uses of Interface
eu.bandm.tools.util.nonnull.NonNullSet

Packages that use NonNullSet

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, for data integrity, de/serialization, visualization, visitors and rewriters.
eu.bandm.tools.util.nonnull	Library of container classes which do not accept null values.
eu.bandm.tools.xslt.base	txsl = typed xslt 1.0 interpreter with "fragmented validation".

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

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

Modifier and Type	Field	Description
protected NonNullSet<String>	DefInstance.importKeys	Generated by umod; model author's documentation MISSING.
protected NonNullSet<Expression>	Perm.obligates	Generated by umod; model author's documentation MISSING.

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

Modifier and Type	Field	Description
static final Function<DefInstance,NonNullSet<String>>	DefInstance.get_importKeys	Deprecated. Use new '::' method reference instead.
static final Function<Perm,NonNullSet<Expression>>	Perm.get_obligates	Deprecated. Use new '::' method reference instead.
static final Function<Enumeration,NonNullMap<Integer,NonNullSet<String>>>	Enumeration.get_reverse	Deprecated. Use new '::' method reference instead.
protected NonNullMap<Integer,NonNullSet<String>>	Enumeration.reverse	Generated by umod; model author's documentation MISSING.

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

Modifier and Type	Method	Description
NonNullSet<String>	DefInstance.get_importKeys()	Generated by umod; model author's documentation MISSING.
NonNullSet<Expression>	Perm.get_obligates()	Generated by umod; model author's documentation MISSING.
protected NonNullSet<String>	__SAX_Parser.parse_15()
protected NonNullSet<String>	__SAX_Parser.parse_25()
protected NonNullSet<Expression>	__SAX_Parser.parse_29()

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

Modifier and Type	Method	Description
NonNullMap<Integer,NonNullSet<String>>	Enumeration.get_reverse()	Generated by umod; model author's documentation MISSING.
protected NonNullMap<Integer,NonNullSet<String>>	__SAX_Parser.parse_16()

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

Modifier and Type	Method	Description
void	Enumeration.put_reverse(int key0, NonNullSet<String> value)	Convenience un-Currying method. Set the value at the given coordinate and automatically generate all intermediate collections, if not yet existing.
boolean	DefInstance.set_importKeys(NonNullSet<String> val)	Generated by umod; model author's documentation MISSING.
Perm	Perm.with_obligates(NonNullSet<Expression> val)	Generated by umod; model author's documentation MISSING.

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

Modifier and Type	Method	Description
static Pattern<DefInstance>	DefInstance.get_importKeys(Pattern<? super NonNullSet<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 NonNullSet<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 NonNullMap<Integer,NonNullSet<String>>> p)	Lifts a pattern which matches the field value to one which matches this whole object.
boolean	Enumeration.set_reverse(NonNullMap<Integer,NonNullSet<String>> val)	Generated by umod; model author's documentation MISSING.

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

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

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

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

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

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

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

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

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

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

Modifier and Type	Method	Description
static Pattern<State_perm>	State_perm.get_consumed(Pattern<? super NonNullSet<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 NonNullSet<Expression>> p)	Lifts a pattern which matches the field value to one which matches this whole object.

Uses of NonNullSet in eu.bandm.tools.dtm

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

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

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

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

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

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

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

Modifier and Type	Method	Description
static Pattern<DTM.Mixed>	DTM.Mixed.get_elems(Pattern<? super NonNullSet<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 NonNullSet<String>> p)	Lifts a pattern which matches the field value to one which matches this whole object.

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

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

Modifier and Type	Field	Description
protected NonNullSet<Integer>	LLJava.Case.labels	Generated by umod; model author's documentation MISSING.
protected NonNullSet<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 NonNullSet

Modifier and Type	Method	Description
NonNullSet<Integer>	LLJava.Case.get_labels()	Generated by umod; model author's documentation MISSING.
NonNullSet<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 NonNullSet

Modifier and Type	Method	Description
boolean	LLJava.Case.set_labels(NonNullSet<Integer> val)	Generated by umod; model author's documentation MISSING.
boolean	LLJava.CodeMethodBody.set_stackMapPlaces(NonNullSet<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 NonNullSet

Modifier and Type	Method	Description
static Pattern<LLJava.Case>	LLJava.Case.get_labels(Pattern<? super NonNullSet<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 NonNullSet<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 NonNullSet

Modifier	Constructor	Description
	Case(NonNullSet<Integer> labels, boolean isDefault, LLJava.CodePoint body)	Constructor defined according to directive »C 0/..«.

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

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

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

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

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

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

Modifier and Type	Method	Description
NonNullSet<String>	Node.Enumerated.get_values()

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

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

Uses of NonNullSet in eu.bandm.tools.umod

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

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

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

Modifier and Type	Field	Description
protected NonNullMap<Integer,NonNullSet<UMod.T_reference>>	UMod.FieldDef.visitable_types

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

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

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

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

Modifier and Type	Method	Description
static <A> NonNullSet<A>	CollectionFactory.newNonNullSet(Class<?> elementClass)	Factory method.

Uses of NonNullSet in eu.bandm.tools.util.nonnull

Classes in eu.bandm.tools.util.nonnull that implement NonNullSet

Modifier and Type	Class	Description
(package private) class	SetProxy<E2>	Internal proxy which inserts the checks for non-null into all state-changing methods.

Methods in eu.bandm.tools.util.nonnull that return NonNullSet

Modifier and Type	Method	Description
static <T> NonNullSet<T>	NonNullSet.copyOf(Set<? extends T> proto)	Creates an unmodifiable snapshot copy containing all elements in the prototype.
static <T> NonNullSet<T>	NonNullSet.duplicate(Set<T> proto)	Creates an independent instance, initialized to contain all elements in the prototype.
static <E1> NonNullSet<E1>	NonNullSet.newInstance()	Creates a new instance and uses a HashSet as its peer.
static <E1> NonNullSet<E1>	NonNullSet.newInstance(Supplier<Set<E1>> supplier)	Creates a new instance and uses a set returned by the given supplier as its peer.
static <T1> NonNullSet<T1>	NonNullSet.singleton(T1 x)	Return an unmodifiable singleton set with the given data.

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

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

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

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

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

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

Modifier and Type	Method	Description
NonNullSet<XMLDocumentIdentifier>	Rt.Report.get_allFiles()
NonNullSet<Rt.TemplateEntry>	Rt.TemplatesByKind.get_allPis()
NonNullSet<Rt.TemplateEntry>	Rt.TemplatesByKind.get_comment()
NonNullSet<Rt.TemplateEntry>	Rt.TemplatesByKind.get_node()
NonNullSet<Rt.TemplateEntry>	Rt.TemplatesByKind.get_text()
NonNullSet<NamespaceName>	Rt.Report.get_undefDefs()
NonNullSet<NamespaceName>	Rt.Report.get_undefModes()
NonNullSet<Rt.Definition>	Rt.Report.get_unusedDefs()

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

Modifier and Type	Method	Description
NonNullMap<NamespaceName,NonNullSet<Rt.TemplateEntry>>	Rt.TemplatesByKind.get_attrsByName()
NonNullMap<String,NonNullSet<Rt.TemplateEntry>>	Rt.TemplatesByKind.get_attrsByNsUri()
NonNullMap<NamespaceName,NonNullSet<Rt.TemplateEntry>>	Rt.TemplatesByKind.get_elemsByName()
NonNullMap<String,NonNullSet<Rt.TemplateEntry>>	Rt.TemplatesByKind.get_elemsByNsUri()
NonNullMap<String,NonNullSet<Rt.TemplateEntry>>	Rt.TemplatesByKind.get_piByName()

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

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

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

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