Package eu.bandm.tools.tpath.type
Class TypeInference
java.lang.Object
eu.bandm.tools.tpath.type.TypeInference
-
Field Summary
-
Constructor Summary
ConstructorDescriptionTypeInference
(DTM.Dtd dtd, Function<NamespaceName, FunctionSignature> functions) Performs type inference assuming that ALL elements in given Ddtd can be roots.TypeInference
(DTM.Dtd dtd, Function<NamespaceName, FunctionSignature> functions, DTM.Element... roots) Performs type inference assuming that only given elements can be roots.TypeInference
(DTM.Dtd dtd, Function<NamespaceName, FunctionSignature> functions, Collection<? extends DTM.Element> roots) Performs type inference assuming that only given elements can be roots.TypeInference
(DTM.Dtd dtd, Function<NamespaceName, FunctionSignature> functions, Predicate<DTM.Element> filter) ATTENTION MessageReceiver is initially a MessageDisposer. -
Method Summary
Modifier and TypeMethodDescriptionSet<? extends Node.NodeType>
infer
(TPath.Expr expr, Function<String, String> namespaceMappings, Function<NamespaceName, Type.XPathProperType> variables) void
setMessageReceiver
(MessageReceiver<? super SimpleMessage<XMLDocumentIdentifier>> msg)
-
Field Details
-
variables
-
namespaceMappings
-
-
Constructor Details
-
TypeInference
public TypeInference(DTM.Dtd dtd, Function<NamespaceName, FunctionSignature> functions, DTM.Element... roots) Performs type inference assuming that only given elements can be roots. -
TypeInference
public TypeInference(DTM.Dtd dtd, Function<NamespaceName, FunctionSignature> functions, Collection<? extends DTM.Element> roots) Performs type inference assuming that only given elements can be roots. -
TypeInference
Performs type inference assuming that ALL elements in given Ddtd can be roots. -
TypeInference
public TypeInference(DTM.Dtd dtd, Function<NamespaceName, FunctionSignature> functions, Predicate<DTM.Element> filter) ATTENTION MessageReceiver is initially a MessageDisposer. (WARUM NUR?) UsesetMessageReceiver(eu.bandm.tools.message.MessageReceiver<? super eu.bandm.tools.message.SimpleMessage<eu.bandm.tools.util.xml.XMLDocumentIdentifier>>)
.
-
-
Method Details
-
setMessageReceiver
-
getAllTypes
-
infer
public Type.XPathType infer(TPath.Expr expr, Function<String, String> namespaceMappings, Function<NamespaceName, Type.XPathProperType> variables)
-