Java.java

/*******************************************************************************
 * Copyright (c) 2009-2011 CWI
 * 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:
 *   * 
 *   * Jurgen J. Vinju - Jurgen.Vinju@cwi.nl - CWI
 *   * Bas Basten - Bas.Basten@cwi.nl (CWI)
 *   * Jouke Stoel - Jouke.Stoel@cwi.nl (CWI)
 *   * Arnold Lankamp - Arnold.Lankamp@cwi.nl
*******************************************************************************/
package lang.java.jdt.internal;

import org.eclipse.imp.pdb.facts.type.Type;
import org.eclipse.imp.pdb.facts.type.TypeFactory;
import org.eclipse.imp.pdb.facts.type.TypeStore;

/**
 * Abstract Data Types for Java entities.
 * @author basten@cwi.nl
 */
public class Java {

	private static final TypeFactory TF = TypeFactory.getInstance();
	private static final TypeStore store = new TypeStore();

	
	public static final Type ADT_ID = TF.abstractDataType(store, "Id");
	public static final Type ADT_ENTITY = TF.abstractDataType(store, "Entity");
	public static final Type ADT_PRIMITIVETYPE = TF.abstractDataType(store, "PrimitiveType");
	public static final Type ADT_BOUND = TF.abstractDataType(store, "Bound");
	public static final Type ADT_MODIFIER = TF.abstractDataType(store, "Modifier"); 
	public static final Type ADT_ASTNODE = TF.abstractDataType(store, "AstNode");

	public static final Type CONS_ENTITY = TF.constructor(store, ADT_ENTITY, "entity", TF.listType(ADT_ID), "id");

	public static final Type CONS_PACKAGE = TF.constructor(store, ADT_ID, "package", TF.stringType(), "name");
	public static final Type CONS_CLASS = TF.constructor(store, ADT_ID, "class", TF.stringType(), "name");
	public static final Type CONS_GENERIC_CLASS = TF.constructor(store, ADT_ID, "class", TF.stringType(), "name", TF.listType(ADT_ENTITY), "params");
	public static final Type CONS_INTERFACE = TF.constructor(store, ADT_ID, "interface", TF.stringType(), "name");
	public static final Type CONS_GENERIC_INTERFACE = TF.constructor(store, ADT_ID, "interface", TF.stringType(), "name", TF.listType(ADT_ENTITY), "params");
	public static final Type CONS_ANONYMOUS_CLASS = TF.constructor(store, ADT_ID, "anonymousClass", TF.integerType(), "nr");
	public static final Type CONS_METHOD = TF.constructor(store, ADT_ID, "method", TF.stringType(), "name", TF.listType(ADT_ENTITY), "params", ADT_ENTITY, "returnType");
	public static final Type CONS_CONSTRUCTOR = TF.constructor(store, ADT_ID, "constr", TF.listType(ADT_ENTITY), "params");
	public static final Type CONS_INITIALIZER = TF.constructor(store, ADT_ID, "initializer");
	public static final Type CONS_INITIALIZER_NUMBERED = TF.constructor(store, ADT_ID, "initializer", TF.integerType(), "nr");
	public static final Type CONS_FIELD = TF.constructor(store, ADT_ID, "field", TF.stringType(), "name");
	public static final Type CONS_PARAMETER = TF.constructor(store, ADT_ID, "parameter", TF.stringType(), "name");
	public static final Type CONS_VARIABLE = TF.constructor(store, ADT_ID, "variable", TF.stringType(), "name", TF.integerType(), "id");
	public static final Type CONS_PRIMITIVE = TF.constructor(store, ADT_ID, "primitive", ADT_PRIMITIVETYPE, "primType");
	public static final Type CONS_ARRAY = TF.constructor(store, ADT_ID, "array", ADT_ENTITY, "elementType");
	public static final Type CONS_ENUM = TF.constructor(store, ADT_ID, "enum", TF.stringType(), "name");
	public static final Type CONS_ENUM_CONSTANT = TF.constructor(store, ADT_ID, "enumConstant", TF.stringType(), "name");
	public static final Type CONS_TYPE_PARAMETER = TF.constructor(store, ADT_ID, "typeParameter", TF.stringType(), "name");
	public static final Type CONS_WILDCARD = TF.constructor(store, ADT_ID, "wildcard");
	public static final Type CONS_WILDCARD_BOUND = TF.constructor(store, ADT_ID, "wildcard", ADT_BOUND, "bound");
	public static final Type CONS_CAPTURE = TF.constructor(store, ADT_ID, "captureof", ADT_ENTITY, "wildCard");

	public static final Type CONS_BYTE = TF.constructor(store, ADT_PRIMITIVETYPE, "byte");
	public static final Type CONS_SHORT = TF.constructor(store, ADT_PRIMITIVETYPE, "short");
	public static final Type CONS_INT = TF.constructor(store, ADT_PRIMITIVETYPE, "int");
	public static final Type CONS_LONG = TF.constructor(store, ADT_PRIMITIVETYPE, "long");
	public static final Type CONS_FLOAT = TF.constructor(store, ADT_PRIMITIVETYPE, "float");
	public static final Type CONS_DOUBLE = TF.constructor(store, ADT_PRIMITIVETYPE, "double");
	public static final Type CONS_CHAR = TF.constructor(store, ADT_PRIMITIVETYPE, "char");
	public static final Type CONS_BOOLEAN = TF.constructor(store, ADT_PRIMITIVETYPE, "boolean");
	public static final Type CONS_VOID = TF.constructor(store, ADT_PRIMITIVETYPE, "void");
	public static final Type CONS_NULL = TF.constructor(store, ADT_PRIMITIVETYPE, "null");

	public static final Type CONS_EXTENDS = TF.constructor(store, ADT_BOUND, "extends", ADT_ENTITY, "extended");
	public static final Type CONS_SUPER = TF.constructor(store, ADT_BOUND, "super", ADT_ENTITY, "super");
	
	
	public static final Type CONS_PUBLIC = TF.constructor(store, ADT_MODIFIER, "public"); 
	public static final Type CONS_PROTECTED = TF.constructor(store, ADT_MODIFIER, "protected"); 
	public static final Type CONS_PRIVATE = TF.constructor(store, ADT_MODIFIER, "private"); 
	public static final Type CONS_STATIC = TF.constructor(store, ADT_MODIFIER, "static"); 
	public static final Type CONS_ABSTRACT = TF.constructor(store, ADT_MODIFIER, "abstract"); 
	public static final Type CONS_FINAL = TF.constructor(store, ADT_MODIFIER, "final"); 
	public static final Type CONS_NATIVE = TF.constructor(store, ADT_MODIFIER, "native"); 
	public static final Type CONS_SYNCHRONIZED = TF.constructor(store, ADT_MODIFIER, "synchronized"); 
	public static final Type CONS_TRANSIENT = TF.constructor(store, ADT_MODIFIER, "transient"); 
	public static final Type CONS_VOLATILE = TF.constructor(store, ADT_MODIFIER, "volatile"); 
	public static final Type CONS_STRICTFP = TF.constructor(store, ADT_MODIFIER, "strictfp"); 
	
	public static final Type CONS_DEPRECATED = TF.constructor(store, ADT_MODIFIER, "deprecated");
}