org.opendaylight.yangtools.yang.model.api.EffectiveStatementInference Maven / Gradle / Ivy
/*
* Copyright (c) 2021 PANTHEON.tech, s.r.o. and others. All rights reserved.
*
* This program and the accompanying materials are made available under the
* terms of the Eclipse Public License v1.0 which accompanies this distribution,
* and is available at http://www.eclipse.org/legal/epl-v10.html
*/
package org.opendaylight.yangtools.yang.model.api;
import com.google.common.annotations.Beta;
import java.util.List;
import org.eclipse.jdt.annotation.NonNull;
import org.opendaylight.yangtools.concepts.Immutable;
import org.opendaylight.yangtools.yang.model.api.meta.EffectiveStatement;
/**
* A base class of an {@link EffectiveModelContext} context reasoning with regards to what logical sequence of
* {@link EffectiveStatement}s were considered. Implementations of this class may provide additional facts which were
* derived from the line of reasoning.
*/
@Beta
public interface EffectiveStatementInference extends EffectiveModelContextProvider, Immutable {
/**
* An {@code Unmodifiable} {@link List} of {@link EffectiveStatement}s, ordered in some meaningful way. Precise
* semantics of the statement order is clarified by individual {@link EffectiveStatementInference} specializations.
*
* @see SchemaTreeInference
* @return A List of EffectiveStatements
*/
@NonNull List> statementPath();
}