import com.google.common.base.Optional;
import java.util.Collection;
-import java.util.List;
import java.util.Map;
import javax.annotation.Nonnull;
import javax.annotation.Nullable;
void addAsEffectOfStatement(StatementContextBase<?, ?, ?> ctx);
StatementContextBase<?, ?, ?> createCopy(
- StatementContextBase<?, ?, ?> newParent, TypeOfCopy typeOfCopy)
+ StatementContextBase<?, ?, ?> newParent, CopyType typeOfCopy)
throws SourceException;
StatementContextBase<?, ?, ?> createCopy(QNameModule newQNameModule,
- StatementContextBase<?, ?, ?> newParent, TypeOfCopy typeOfCopy)
+ StatementContextBase<?, ?, ?> newParent, CopyType typeOfCopy)
throws SourceException;
- enum TypeOfCopy {
- ORIGINAL, ADDED_BY_USES, ADDED_BY_AUGMENTATION, ADDED_BY_USES_AUGMENTATION
- }
-
- List<TypeOfCopy> getCopyHistory();
+ CopyHistory getCopyHistory();
enum SupportedByFeatures {
UNDEFINED, SUPPORTED, NOT_SUPPORTED
SupportedByFeatures getSupportedByFeatures();
- void addAllToCopyHistory(List<TypeOfCopy> typeOfCopyList);
-
- void addToCopyHistory(TypeOfCopy typeOfCopy);
+ void appendCopyHistory(CopyType typeOfCopy, CopyHistory toAppend);
StatementContextBase<?, ?, ?> getOriginalCtx();