Interface EffectiveStatementInference
- All Superinterfaces:
Immutable
- All Known Subinterfaces:
SchemaTreeInference
- All Known Implementing Classes:
AbstractEffectiveStatementInference
,AbstractEffectiveStatementInference.WithPath
,DefaultSchemaTreeInference
,SchemaInferenceStack.Inference
A base class of an
EffectiveModelContext
context reasoning with regards to what logical sequence of
EffectiveStatement
s were considered. Implementations of this class may provide additional facts which were
derived from the line of reasoning.-
Method Summary
Modifier and TypeMethodDescription@NonNull EffectiveModelContext
Return theEffectiveModelContext
against which this inference is made.@NonNull List
<? extends @NonNull EffectiveStatement<?, ?>>
-
Method Details
-
modelContext
@NonNull EffectiveModelContext modelContext()Return theEffectiveModelContext
against which this inference is made.- Returns:
- the
EffectiveModelContext
against which this inference is made
-
statementPath
@NonNull List<? extends @NonNull EffectiveStatement<?,?>> statementPath()AnUnmodifiable
List
ofEffectiveStatement
s, ordered in some meaningful way. Precise semantics of the statement order is clarified by individualEffectiveStatementInference
specializations.- Returns:
- A List of EffectiveStatements
- See Also:
-