Package eu.bandm.tools.tpath.type
package eu.bandm.tools.tpath.type
Type checking for tpath expressions.
-
ClassDescriptionA restricted implementation used by
BuiltInFunctions
andBuiltInFunctions
.
Restrictions include : only one range for all domain signatures.Realizes the collection of overloaded signatures for one single xpath function name (NamespaceName).Generated on 2025-03-02_11h57m48
by program bandm model generator(=eu.bandm.tools.umod.Main), version 0.17
command line =
java eu.bandm.tools.umod.Main --getterfunctions true $(HOME)/metatools/src eu.bandm.tools.tpath.type Node.umod
(Ancillary class for generating pretty-print format objects).Decoder for umod's own XML serialisation.Encoder for umod's own XML serialisation.(Ancillary class as basis for all visitors).Generated on 2025-03-02_11h57m46
by program bandm model generator(=eu.bandm.tools.umod.Main), version 0.17
command line =
java eu.bandm.tools.umod.Main --getterfunctions true $(HOME)/metatools/src eu.bandm.tools.tpath.type Type.umod
(Ancillary class for generating pretty-print format objects).Decoder for umod's own XML serialisation.Encoder for umod's own XML serialisation.(Ancillary class as basis for all visitors).Visitor generated by umod according to field selection #0.