2 * Copyright (c) 2020 PANTHEON.tech, s.r.o. and others. All rights reserved.
4 * This program and the accompanying materials are made available under the
5 * terms of the Eclipse Public License v1.0 which accompanies this distribution,
6 * and is available at http://www.eclipse.org/legal/epl-v10.html
8 package org.opendaylight.yangtools.yang.parser.spi.meta;
10 import static com.google.common.base.Verify.verifyNotNull;
12 import com.google.common.annotations.Beta;
13 import com.google.common.base.VerifyException;
14 import org.eclipse.jdt.annotation.NonNull;
15 import org.eclipse.jdt.annotation.Nullable;
16 import org.opendaylight.yangtools.concepts.Immutable;
17 import org.opendaylight.yangtools.yang.common.QName;
18 import org.opendaylight.yangtools.yang.common.QNameModule;
19 import org.opendaylight.yangtools.yang.model.api.DataSchemaNode;
20 import org.opendaylight.yangtools.yang.model.api.meta.DeclaredStatement;
21 import org.opendaylight.yangtools.yang.model.api.meta.EffectiveStatement;
24 * Effective view of a {@link StmtContext} for the purposes of creating an {@link EffectiveStatement}.
27 public interface EffectiveStmtCtx extends CommonStmtCtx, StmtContextCompat, Immutable {
29 * Return parent of this context, if there is one. All statements except for top-level source statements, such as
30 * {@code module} and {@code submodule}.
32 * @return Parent context, or null if this statement is the root
34 @Nullable Parent effectiveParent();
37 * Return parent of this context.
39 * @return Parent context
40 * @throws VerifyException if this context is already the root
42 default @NonNull Parent getEffectiveParent() {
43 return verifyNotNull(effectiveParent(), "Attempted to access beyond root context");
47 * Minimum amount of parent state required to build an accurate effective view of a particular child. Child state
48 * is expressed as {@link Current}.
51 interface Parent extends EffectiveStmtCtx {
53 * Effective {@code config} statement value.
56 enum EffectiveConfig {
58 * We have an effective {@code config true} statement.
62 * We have an effective {@code config false} statement.
66 * We are in a context where {@code config} statements are ignored.
70 * We are in a context where {@code config} is not determined, such as within a {@code grouping}.
74 private final Boolean config;
76 EffectiveConfig(final @Nullable Boolean config) {
81 * Return this value as a {@link Boolean} for use with {@link DataSchemaNode#effectiveConfig()}.
83 * @return A boolean or null
85 public @Nullable Boolean asNullable() {
91 * Return the effective {@code config} statement value.
93 * @return This statement's effective config
95 @NonNull EffectiveConfig effectiveConfig();
97 // FIXME: 7.0.0: this is currently only used by AbstractTypeStatement
98 @NonNull QNameModule effectiveNamespace();
102 * Minimum amount of state required to build an accurate effective view of a statement. This is a strict superset
103 * of information available in {@link Parent}.
105 * @param <A> Argument type
106 * @param <D> Class representing declared version of this statement
109 interface Current<A, D extends DeclaredStatement<A>> extends Parent, NamespaceStmtCtx, BoundStmtCtxCompat<A, D> {
111 @NonNull QName moduleName();
113 @Deprecated(since = "7.0.9", forRemoval = true)
114 @Nullable EffectiveStatement<?, ?> original();
116 // FIXME: 8.0.0: this method should be moved to stmt.type in some shape or form
117 @NonNull QName argumentAsTypeQName();
120 * Summon the <a href="https://en.wikipedia.org/wiki/Rabbit_of_Caerbannog">Rabbit of Caerbannog</a>.
122 * @param <E> Effective Statement representation
123 * @return The {@code Legendary Black Beast of Arrrghhh}.
125 // FIXME: YANGTOOLS-1186: lob the Holy Hand Grenade of Antioch
127 <E extends EffectiveStatement<A, D>> @NonNull StmtContext<A, D, E> caerbannog();
131 * A restricted version of {@link Current}, which does not expose the raw argument or the declared statement.
133 * @param <A> Argument type
134 * @param <D> Class representing declared version of this statement
137 interface UndeclaredCurrent<A, D extends DeclaredStatement<A>> extends Current<A, D> {
140 default String rawArgument() {
141 throw new UnsupportedOperationException();
146 default D declared() {
147 throw new UnsupportedOperationException();