org.eclipse.jdt.internal.compiler.lookup.Substitution Maven / Gradle / Ivy
The newest version!
/*******************************************************************************
* Copyright (c) 2000, 2018 IBM Corporation and others.
*
* This program and the accompanying materials
* are made available under the terms of the Eclipse Public License 2.0
* which accompanies this distribution, and is available at
* https://www.eclipse.org/legal/epl-2.0/
*
* SPDX-License-Identifier: EPL-2.0
*
* Contributors:
* IBM Corporation - initial API and implementation
*******************************************************************************/
package org.eclipse.jdt.internal.compiler.lookup;
/*
* Encapsulates aspects related to type variable substitution
*/
public interface Substitution {
/**
* Don't substitute any type variables.
* Enables the use of {@link Scope.Substitutor} for other purposes.
*/
public static class NullSubstitution implements Substitution {
LookupEnvironment environment;
public NullSubstitution(LookupEnvironment environment) {
this.environment = environment;
}
@Override
public TypeBinding substitute(TypeVariableBinding typeVariable) {
return typeVariable;
}
@Override
public boolean isRawSubstitution() {
return false;
}
@Override
public LookupEnvironment environment() {
return this.environment;
}
}
/**
* Returns the type substitute for a given type variable, or itself
* if no substitution got performed.
*/
TypeBinding substitute(TypeVariableBinding typeVariable);
/**
* Returns the lookup environment
*/
LookupEnvironment environment();
/**
* Returns true for raw substitution
*/
boolean isRawSubstitution();
}