| /******************************************************************************* |
| * Copyright (c) 2010, 2015 Willink Transformations 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 |
| * |
| * Contributors: |
| * E.D.Willink - initial API and implementation |
| *******************************************************************************/ |
| package org.eclipse.ocl.pivot.internal.complete; |
| |
| import org.eclipse.emf.ecore.resource.Resource; |
| import org.eclipse.jdt.annotation.NonNull; |
| import org.eclipse.jdt.annotation.Nullable; |
| import org.eclipse.ocl.pivot.AnyType; |
| import org.eclipse.ocl.pivot.BagType; |
| import org.eclipse.ocl.pivot.CollectionType; |
| import org.eclipse.ocl.pivot.InvalidType; |
| import org.eclipse.ocl.pivot.Operation; |
| import org.eclipse.ocl.pivot.OrderedSetType; |
| import org.eclipse.ocl.pivot.PrimitiveType; |
| import org.eclipse.ocl.pivot.Property; |
| import org.eclipse.ocl.pivot.SequenceType; |
| import org.eclipse.ocl.pivot.SetType; |
| import org.eclipse.ocl.pivot.StandardLibrary; |
| import org.eclipse.ocl.pivot.VoidType; |
| |
| public interface StandardLibraryInternal extends StandardLibrary |
| { |
| @Nullable Operation basicGetOclInvalidOperation(); |
| @Nullable Property basicGetOclInvalidProperty(); |
| @Nullable InvalidType basicGetOclInvalidType(); |
| void defineLibraryType(org.eclipse.ocl.pivot.@NonNull Class pivotType); |
| void dispose(); |
| @Override |
| @NonNull BagType getBagType(); |
| @Nullable PrimitiveType getBehavioralClass(@NonNull Class<?> javaClass); |
| @Override |
| @NonNull PrimitiveType getBooleanType(); |
| @Override |
| @NonNull CollectionType getCollectionType(); |
| @NonNull CompleteModelInternal getCompleteModel(); |
| @NonNull String getDefaultStandardLibraryURI(); |
| @Override |
| @NonNull PrimitiveType getIntegerType(); |
| org.eclipse.ocl.pivot.Class getLibraryType(@NonNull String typeName); |
| @Override |
| @NonNull AnyType getOclAnyType(); |
| @NonNull Property getOclInvalidProperty(); |
| @Override |
| @NonNull InvalidType getOclInvalidType(); |
| org.eclipse.ocl.pivot.@NonNull Class getOclLambdaType(); |
| org.eclipse.ocl.pivot.@NonNull Class getOclTypeType(); |
| @Override |
| @NonNull VoidType getOclVoidType(); |
| @Override |
| @NonNull CollectionType getOrderedCollectionType(); |
| @Override |
| @NonNull OrderedSetType getOrderedSetType(); |
| org.eclipse.ocl.pivot.@Nullable Class getASClass(@NonNull String className); |
| @Override |
| @NonNull PrimitiveType getRealType(); |
| org.eclipse.ocl.pivot.@NonNull Class getRequiredLibraryType(@NonNull String typeName); |
| @Override |
| @NonNull SequenceType getSequenceType(); |
| @Override |
| @NonNull SetType getSetType(); |
| @Override |
| @NonNull PrimitiveType getStringType(); |
| @Override |
| @NonNull CollectionType getUniqueCollectionType(); |
| @Override |
| @NonNull PrimitiveType getUnlimitedNaturalType(); |
| @NonNull StandardLibraryInternal init(@NonNull CompleteModelInternal completeModel); |
| boolean isExplicitDefaultStandardLibraryURI(); |
| @Nullable Resource loadDefaultLibrary(@Nullable String uri); |
| void setDefaultStandardLibraryURI(@NonNull String defaultStandardLibraryURI); |
| } |