RascalType.java

package org.rascalmpl.interpreter.types;

import org.rascalmpl.value.type.ExternalType;
import org.rascalmpl.value.type.Type;

public abstract class RascalType extends ExternalType {
  protected final static RascalTypeFactory RTF = RascalTypeFactory.getInstance();
  public abstract <T, E extends Throwable> T accept(IRascalTypeVisitor<T, E> visitor) throws E;

  @Override
  protected Type lubWithExternal(Type type) {
    assert type instanceof RascalType;
    return lub((RascalType) type);
  }
  
  @Override
  protected Type glbWithExternal(Type type) {
	  assert type instanceof RascalType;
	  return glb((RascalType) type);
  }

  protected abstract Type lub(RascalType type);
  protected abstract Type glb(RascalType type);

  @Override
  protected boolean isSubtypeOfExternal(Type type) {
    assert type instanceof RascalType;
    return ((RascalType) type).isSupertypeOf(this);
  }

  protected abstract boolean isSupertypeOf(RascalType type);
  
  public boolean isSubtypeOfNonTerminal(RascalType type) {
    return false;
  }
  
  public boolean isSubtypeOfFailure(RascalType type) {
    return false;
  }
  
  protected boolean isSubtypeOfFunction(RascalType type) {
    return false;
  }
  
  protected boolean isSubtypeOfOverloadedFunction(RascalType type) {
    return false;
  }
  
  protected boolean isSubtypeOfReified(RascalType type) {
    return false;
  }
  
  protected Type lubWithNonTerminal(RascalType type) {
    return TF.valueType();
  }
  
  protected Type lubWithFunction(RascalType type) {
    return TF.valueType();
  }
  
  protected Type lubWithOverloadedFunction(RascalType type) {
    return TF.valueType();
  }
  
  protected Type lubWithFailure(RascalType type) {
      return type;
  }
  
  protected Type lubWithReified(RascalType type) {
    return TF.valueType();
  }
  
  protected Type glbWithNonTerminal(RascalType type) {
	return TF.voidType();
  }
  
  protected Type glbWithFunction(RascalType type) {
	return TF.voidType();
  }
  
  protected Type glbWithOverloadedFunction(RascalType type) {
	return TF.voidType();
  }
  
  protected Type glbWithReified(RascalType type) {
	return TF.voidType();
  }
  
  protected Type glbWithFailure(RascalType type) {
      return type;
  }
  
  public boolean isNonterminal() {
	  return false;
  }
  
  public boolean isFunction() {
	  return false;
  }
  
  public boolean isOverloadedFunction() {
	  return false;
  }
  
  public boolean isFailure() {
      return false;
  }
  
  public boolean isReified() {
	  return false;
  }
}