prompto.compiler.ResultInfo Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of Core Show documentation
The newest version!
package prompto.compiler;

import java.lang.reflect.Type;

/* since we follow a bottom-up compile strategy, we must keep track of instance types at the top of the stack */
/* isInstance is also required to select GETFIELD/GETSTATIC or INVOKEVIRTUAL/INVOKESTATIC deterministically */ 
public class ResultInfo {

	public static enum Flag {
		RETURN,
		BREAK,
		THROW,
		STATIC, 
		SUPER
	}

	Type type;
	boolean isReturn = false;
	boolean isBreak = false;
	boolean isThrow = false;
	boolean isStatic = false;
	boolean isSuper = false;
	Boolean isPrimitive = null;
	Boolean isInterface = null;
	Boolean isPromptoCategory = null;
	Boolean isNativeCategory = null;
	Boolean isPromptoAttribute = null;
	
	public ResultInfo(Type type, Flag ...flags) {
		this.type = type;
		for(Flag flag : flags)
			setFlag(flag, true);
	}
	
	public ResultInfo withFlag(Flag flag) {
		return withFlag(flag, true);
	}
	
	
	public ResultInfo withFlag(Flag flag, boolean set) {
		setFlag(flag, set);
		return this;
	}

	private void setFlag(Flag flag, boolean set) {
		switch(flag) {
		case RETURN:
			isReturn = set;
			break;
		case BREAK:
			isBreak = set;
			break;
		case THROW:
			isThrow = set;
			break;
		case STATIC:
			isStatic = set;
			break;
		case SUPER:
			isSuper = set;
			break;
		}
	}
	
	@Override
	public String toString() {
		return type.toString();
	}
	
	public Type getType() {
		return type;
	}
	
	public boolean isPrimitive() {
		if(isPrimitive==null) {
			if(type instanceof Class)
				isPrimitive = ((Class)type).isPrimitive();
			else
				isPrimitive = false;
		}
		return isPrimitive;
	}

	public boolean isInterface() {
		if(isInterface==null) {
			if(isPrimitive())
				isInterface = false;
			else if(type instanceof Class)
				isInterface = ((Class)type).isInterface();
			else if(type instanceof NamedType) {
				isInterface = type.getTypeName().startsWith("π.") && type.getTypeName().indexOf('$')<0;
			} else
				throw new UnsupportedOperationException();
		}
		return isInterface;
	}

	public boolean isConcrete() {
		return !isInterface();
	}
	
	public boolean isStatic() {
		return isStatic;
	}

	public boolean isSuper() {
		return isSuper;
	}

	public boolean isReturn() {
		return isReturn;
	}
	
	public boolean isBreak() {
		return isBreak;
	}

	public boolean isThrow() {
		return isThrow;
	}
	
	public boolean isPromptoCategory() {
		if(isPromptoCategory==null) {
			if(isPrimitive())
				isPromptoCategory = false;
			else if(type instanceof Class)
				isPromptoCategory = false;
			else if(type instanceof NamedType){
				isPromptoCategory = type.getTypeName().startsWith(CompilerUtils.CATEGORY_PACKAGE_PREFIX);
			} else
				throw new UnsupportedOperationException();
		}
		return isPromptoCategory;
	}

	public boolean isNativeCategory() {
		if(isNativeCategory==null) {
			if(isPrimitive())
				isNativeCategory = false;
			else if(type instanceof Class)
				isNativeCategory = !((Class)type).isInterface();
			else if(type instanceof NamedType){
				isNativeCategory = !type.getTypeName().startsWith(CompilerUtils.CATEGORY_PACKAGE_PREFIX);
			} else
				throw new UnsupportedOperationException();
		}
		return isNativeCategory;
	}

	public boolean isCategory() {
		return isPromptoCategory() || isNativeCategory();
	}

	public boolean isPromptoAttribute() {
		if(isPromptoAttribute==null) {
			if(isPrimitive())
				isPromptoAttribute = false;
			else if(type instanceof Class)
				isPromptoAttribute = false;
			else if(type instanceof NamedType){
				isPromptoAttribute = type.getTypeName().startsWith(CompilerUtils.ATTRIBUTE_PACKAGE_PREFIX);
			} else
				throw new UnsupportedOperationException();
		}
		return isPromptoAttribute;
	}

}