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 java.util.Objects;
15 import java.util.Optional;
16 import org.eclipse.jdt.annotation.NonNull;
17 import org.eclipse.jdt.annotation.Nullable;
18 import org.opendaylight.yangtools.concepts.Immutable;
19 import org.opendaylight.yangtools.yang.common.QName;
20 import org.opendaylight.yangtools.yang.model.api.DataSchemaNode;
21 import org.opendaylight.yangtools.yang.model.api.SchemaPath;
22 import org.opendaylight.yangtools.yang.model.api.meta.DeclaredStatement;
23 import org.opendaylight.yangtools.yang.model.api.meta.EffectiveStatement;
26 * Effective view of a {@link StmtContext} for the purposes of creating an {@link EffectiveStatement}.
29 public interface EffectiveStmtCtx extends CommonStmtCtx, StmtContextCompat, Immutable {
31 * Return parent of this context, if there is one. All statements except for top-level source statements, such as
32 * {@code module} and {@code submodule}.
34 * @return Parent context, or null if this statement is the root
36 @Nullable Parent effectiveParent();
39 * Return parent of this context.
41 * @return Parent context
42 * @throws VerifyException if this context is already the root
44 default @NonNull Parent getEffectiveParent() {
45 return verifyNotNull(effectiveParent(), "Attempted to access beyond root context");
49 * Minimum amount of parent state required to build an accurate effective view of a particular child. Child state
50 * is expressed as {@link Current}.
53 interface Parent extends EffectiveStmtCtx {
55 * Effective {@code config} statement value.
58 enum EffectiveConfig {
60 * We have an effective {@code config true} statement.
64 * We have an effective {@code config false} statement.
68 * We are in a context where {@code config} statements are ignored.
72 * We are in a context where {@code config} is not determined, such as within a {@code grouping}.
76 private final Boolean config;
78 EffectiveConfig(final @Nullable Boolean config) {
83 * Return this value as a {@link Boolean} for use with {@link DataSchemaNode#effectiveConfig()}.
85 * @return A boolean or null
87 public @Nullable Boolean asNullable() {
93 * Return the effective {@code config} statement value.
95 * @return This statement's effective config
97 @NonNull EffectiveConfig effectiveConfig();
100 * Return the {@link SchemaPath} of this statement. Not all statements have a SchemaPath, in which case
101 * {@link Optional#empty()} is returned.
103 * @return Optional SchemaPath
104 * @deprecated Use of SchemaPath in the context of effective statements is going away. Consider not providing
105 * this information, if your users can exist without it.
107 // FIXME: 7.0.0: this needs to be a tri-state present/absent/disabled
109 @NonNull Optional<SchemaPath> schemaPath();
112 default @NonNull SchemaPath getSchemaPath() {
113 return schemaPath().orElseThrow();
117 default @Nullable SchemaPath wrapSchemaPath() {
118 return SchemaPathSupport.wrap(getSchemaPath());
123 * Minimum amount of state required to build an accurate effective view of a statement. This is a strict superset
124 * of information available in {@link Parent}.
126 * @param <A> Argument type
127 * @param <D> Class representing declared version of this statement
130 interface Current<A, D extends DeclaredStatement<A>> extends Parent, NamespaceStmtCtx, BoundStmtCtxCompat<A, D> {
132 @NonNull QName moduleName();
134 @Nullable EffectiveStatement<?, ?> original();
136 // FIXME: YANGTOOLS-1216: implement near ReactorStmtCtx.createSchemaPath(), this should always be a 'String'
137 // sub-case as implied by all callers in stmt.type
138 // FIXME: 7.0.0: this method should be moved to stmt.type in some shape or form
139 default @NonNull QName argumentAsTypeQName() {
140 return verifyNotNull(getSchemaPath().getLastComponent());
144 * Summon the <a href="https://en.wikipedia.org/wiki/Rabbit_of_Caerbannog">Rabbit of Caerbannog</a>.
146 * @param <E> Effective Statement representation
147 * @return The {@code Legendary Black Beast of Arrrghhh}.
149 // FIXME: YANGTOOLS-1186: lob the Holy Hand Grenade of Antioch
151 <E extends EffectiveStatement<A, D>> @NonNull StmtContext<A, D, E> caerbannog();
154 * Compare another context for equality of {@code getEffectiveParent().getSchemaPath()}, just in a safer manner.
156 * @param other Other {@link Current}
157 * @return True if {@code other} has parent path equal to this context's parent path.
159 // FIXME: 8.0.0: Remove this method
160 default boolean equalParentPath(final Current<A, D> other) {
161 final Parent ours = effectiveParent();
162 final Parent theirs = other.effectiveParent();
163 return ours == theirs
164 || ours != null && theirs != null && Objects.equals(ours.schemaPath(), theirs.schemaPath());