import org.opendaylight.yangtools.yang.model.repo.api.SourceIdentifier;
import org.opendaylight.yangtools.yang.parser.spi.source.StatementSourceReference;
+/**
+ * An inference context associated with an instance of a statement.
+ *
+ * @param <A> Argument type
+ * @param <D> Declared Statement representation
+ * @param <E> Effective Statement representation
+ */
public interface StmtContext<A, D extends DeclaredStatement<A>, E extends EffectiveStatement<A, D>> {
-
+ /**
+ * Returns the origin of the statement.
+ *
+ * @return origin of statement
+ */
@NonNull StatementSource getStatementSource();
+ /**
+ * Returns a reference to statement source.
+ *
+ * @return reference of statement source
+ */
@NonNull StatementSourceReference getStatementSourceReference();
+ /**
+ * See {@link StatementSupport#getPublicView()}.
+ */
@NonNull StatementDefinition getPublicDefinition();
/**
boolean isSupportedToBuildEffective();
+ boolean isSupportedByFeatures();
+
Collection<? extends StmtContext<?, ?, ?>> getEffectOfStatement();
+ /*
+ * FIXME: YANGTOOLS-784: the next three methods are closely related to the copy process:
+ * - getCopyHistory() is a brief summary of what went on
+ * - getOriginalContext() points to the CopyHistory.ORIGINAL
+ * - getPreviousCopyCtx() points to the immediate predecessor forming a singly-linked list terminated
+ * at getOriginalContext()
+ *
+ * When implementing YANGTOOLS-784, this needs to be taken into account and properly forwarded through
+ * intermediate MutableTrees. Also note this closely relates to current namespace context, as taken into
+ * account when creating the argument. At least parts of this are only needed during buildEffective()
+ * and hence should become arguments to that method.
+ */
+
+ /**
+ * Return the executive summary of the copy process that has produced this context.
+ *
+ * @return A simplified summary of the copy process.
+ */
CopyHistory getCopyHistory();
- boolean isSupportedByFeatures();
+ /**
+ * Return the statement context of the original definition, if this statement is an instantiated copy.
+ *
+ * @return Original definition, if this statement was copied.
+ */
+ Optional<StmtContext<A, D, E>> getOriginalCtx();
- Optional<StmtContext<?, ?, ?>> getOriginalCtx();
+ /**
+ * Return the context of the previous copy of this statement -- effectively walking towards the source origin
+ * of this statement.
+ *
+ * @return Context of the previous copy of this statement, if this statement has been copied.
+ */
+ Optional<StmtContext<A, D, E>> getPreviousCopyCtx();
ModelProcessingPhase getCompletedPhase();
*/
@NonNull YangVersion getRootVersion();
+ /**
+ * An mutable view of an inference context associated with an instance of a statement.
+ *
+ * @param <A> Argument type
+ * @param <D> Declared Statement representation
+ * @param <E> Effective Statement representation
+ */
interface Mutable<A, D extends DeclaredStatement<A>, E extends EffectiveStatement<A, D>>
extends StmtContext<A, D, E> {
* from an alien implementation.
* @throws org.opendaylight.yangtools.yang.parser.spi.source.SourceException instance of SourceException
*/
- // FIXME: 5.0.0: remove generic arguments X, Y, Z. Callers should not care, as the returned copy can actually
- // be an encapsulating implicit statement.
- <X, Y extends DeclaredStatement<X>, Z extends EffectiveStatement<X, Y>> Mutable<X, Y, Z> childCopyOf(
- StmtContext<X, Y, Z> stmt, CopyType type, @Nullable QNameModule targetModule);
+ Mutable<?, ?, ?> childCopyOf(StmtContext<?, ?, ?> stmt, CopyType type, @Nullable QNameModule targetModule);
/**
* Create a child sub-statement, which is a child of this statement, inheriting all attributes from specified
* from an alien implementation.
* @throws org.opendaylight.yangtools.yang.parser.spi.source.SourceException instance of SourceException
*/
- default <X, Y extends DeclaredStatement<X>, Z extends EffectiveStatement<X, Y>> Mutable<X, Y, Z> childCopyOf(
- final StmtContext<X, Y, Z> stmt, final CopyType type) {
+ default Mutable<?, ?, ?> childCopyOf(final StmtContext<?, ?, ?> stmt, final CopyType type) {
return childCopyOf(stmt, type, null);
}
+ @Override
+ default Collection<? extends StmtContext<?, ?, ?>> declaredSubstatements() {
+ return mutableDeclaredSubstatements();
+ }
+
@NonNull Collection<? extends Mutable<?, ?, ?>> mutableDeclaredSubstatements();
+ @Override
+ default Collection<? extends StmtContext<?, ?, ?>> effectiveSubstatements() {
+ return mutableEffectiveSubstatements();
+ }
+
@NonNull Collection<? extends Mutable<?, ?, ?>> mutableEffectiveSubstatements();
/**