/interpreter/tags/reactive-pattern-matching/src/edu/vub/at/objects/coercion/NativeTypeTags.java

  1/**
  2 * AmbientTalk/2 Project
  3 * NativeTypeTags.java created on 26-feb-2007 at 16:29:25
  4 * (c) Programming Technology Lab, 2006 - 2007
  5 * Authors: Tom Van Cutsem & Stijn Mostinckx
  6 * 
  7 * Permission is hereby granted, free of charge, to any person
  8 * obtaining a copy of this software and associated documentation
  9 * files (the "Software"), to deal in the Software without
 10 * restriction, including without limitation the rights to use,
 11 * copy, modify, merge, publish, distribute, sublicense, and/or
 12 * sell copies of the Software, and to permit persons to whom the
 13 * Software is furnished to do so, subject to the following
 14 * conditions:
 15 *
 16 * The above copyright notice and this permission notice shall be
 17 * included in all copies or substantial portions of the Software.
 18 *
 19 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
 20 * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
 21 * OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
 22 * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
 23 * HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
 24 * WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
 25 * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
 26 * OTHER DEALINGS IN THE SOFTWARE.
 27 */
 28package edu.vub.at.objects.coercion;
 29
 30import edu.vub.at.objects.natives.NATTypeTag;
 31
 32/**
 33 * This class serves to hold references to the native type tags with which native
 34 * AmbientTalk objects are tagged.
 35 *
 36 * @author tvcutsem
 37 */
 38public final class NativeTypeTags {
 39
 40	/* Java implementation of lobby.at.types.at: */
 41
 42//deftype Isolate;
 43	public final static NATTypeTag _ISOLATE_ = NATTypeTag.atValue("Isolate");
 44
 45//deftype Meta;
 46	public final static NATTypeTag _META_ = NATTypeTag.atValue("Meta");
 47	
 48//deftype Boolean;
 49	public final static NATTypeTag _BOOLEAN_ = NATTypeTag.atValue("Boolean");
 50	
 51//deftype Closure;
 52	public final static NATTypeTag _CLOSURE_ = NATTypeTag.atValue("Closure");
 53	
 54//deftype Context;
 55	public final static NATTypeTag _CONTEXT_ = NATTypeTag.atValue("Context");
 56	
 57//deftype Field;
 58	public final static NATTypeTag _FIELD_ = NATTypeTag.atValue("Field");
 59	
 60//deftype Handler;
 61	public final static NATTypeTag _HANDLER_ = NATTypeTag.atValue("Handler");
 62	
 63//deftype Method;
 64	public final static NATTypeTag _METHOD_ = NATTypeTag.atValue("Method");
 65	
 66//deftype Message;
 67	public final static NATTypeTag _MESSAGE_ = NATTypeTag.atValue("Message");
 68	
 69//deftype MethodInvocation <: Message;
 70	public final static NATTypeTag _METHODINV_ = NATTypeTag.atValue("MethodInvocation", _MESSAGE_);
 71
 72//deftype FieldSelection <: Message;
 73    public final static NATTypeTag _FIELDSEL_ = NATTypeTag.atValue("FieldSelection", _MESSAGE_);
 74
 75	
 76//deftype Delegation <: Message;
 77	public final static NATTypeTag _DELEGATION_ = NATTypeTag.atValue("Delegation", _MESSAGE_);
 78	
 79//deftype AsyncMessage <: Message;
 80	public final static NATTypeTag _ASYNCMSG_ = NATTypeTag.atValue("AsyncMessage", _MESSAGE_);
 81	
 82//deftype Letter;
 83	public final static NATTypeTag _LETTER_ = NATTypeTag.atValue("Letter");
 84	
 85//deftype Mirror;
 86	public final static NATTypeTag _MIRROR_ = NATTypeTag.atValue("Mirror");
 87	
 88//deftype ActorMirror;
 89	public final static NATTypeTag _ACTORMIRROR_ = NATTypeTag.atValue("ActorMirror");
 90	
 91//deftype TypeTag;
 92	public final static NATTypeTag _TYPETAG_ = NATTypeTag.atValue("TypeTag");
 93	
 94//deftype FarReference;
 95	public final static NATTypeTag _FARREF_ = NATTypeTag.atValue("FarReference");	
 96
 97// abstract grammar
 98//deftype AbstractGrammar;
 99	public final static NATTypeTag _ABSTRACTGRAMMAR_ = NATTypeTag.atValue("AbstractGrammar");
100	
101//deftype Statement;
102	public final static NATTypeTag _STATEMENT_ = NATTypeTag.atValue("Statement", _ABSTRACTGRAMMAR_);
103	
104//	deftype Expression;
105	public final static NATTypeTag _EXPRESSION_ = NATTypeTag.atValue("Expression", _STATEMENT_);
106	
107// literal values
108//deftype Table <: Expression;
109	public final static NATTypeTag _TABLE_ = NATTypeTag.atValue("Table", _EXPRESSION_);
110	
111//deftype Text <: Expression;
112	public final static NATTypeTag _TEXT_ = NATTypeTag.atValue("Text", _EXPRESSION_);
113	
114//deftype Numeric <: Expression;
115	public final static NATTypeTag _NUMERIC_ = NATTypeTag.atValue("Numeric", _EXPRESSION_);
116	
117//deftype Number <: Numeric;
118	public final static NATTypeTag _NUMBER_ = NATTypeTag.atValue("Number", _EXPRESSION_);
119	
120//deftype Fraction <: Numeric;
121	public final static NATTypeTag _FRACTION_ = NATTypeTag.atValue("Fraction", _EXPRESSION_);
122
123//deftype Symbol <: Expression;
124	public final static NATTypeTag _SYMBOL_ = NATTypeTag.atValue("Symbol", _EXPRESSION_);
125
126//deftype Begin <: AbstractGrammar;
127	public final static NATTypeTag _BEGIN_ = NATTypeTag.atValue("Begin", _ABSTRACTGRAMMAR_);
128	
129//deftype Splice <: Expression;
130	public final static NATTypeTag _SPLICE_ = NATTypeTag.atValue("Splice", _EXPRESSION_);
131	
132//deftype UnquoteSplice <: Expression;
133	public final static NATTypeTag _UQSPLICE_ = NATTypeTag.atValue("UnquoteSplice", _EXPRESSION_);
134	
135//deftype MessageCreation <: Expression;
136	public final static NATTypeTag _MSGCREATION_ = NATTypeTag.atValue("MessageCreation", _EXPRESSION_);
137	
138//deftype Definition <: Statement;
139	public final static NATTypeTag _DEFINITION_ = NATTypeTag.atValue("Definition", _STATEMENT_);
140	
141//	deftype MethodDefinition <: Definition;
142	public final static NATTypeTag _METHOD_DEFINITION_ = NATTypeTag.atValue("MethodDefinition", _DEFINITION_);
143
144	
145//
146//// exception types
147//deftype Exception;
148	public final static NATTypeTag _EXCEPTION_ = NATTypeTag.atValue("Exception");
149	
150//deftype ArityMismatch <: Exception;
151	public final static NATTypeTag _ARITYMISMATCH_ = NATTypeTag.atValue("ArityMismatch", _EXCEPTION_);
152	
153//deftype ClassNotFound <: Exception;
154	public final static NATTypeTag _CLASSNOTFOUND_ = NATTypeTag.atValue("ClassNotFound", _EXCEPTION_);
155	
156//deftype DuplicateSlot <: Exception;
157	public final static NATTypeTag _DUPLICATESLOT_ = NATTypeTag.atValue("DuplicateSlot", _EXCEPTION_);
158	
159//deftype IllegalApplication <: Exception;
160	public final static NATTypeTag _ILLAPP_ = NATTypeTag.atValue("IllegalApplication", _EXCEPTION_);
161	
162//deftype IllegalArgument <: Exception;
163	public final static NATTypeTag _ILLARG_ = NATTypeTag.atValue("IllegalArgument", _EXCEPTION_);
164	
165//deftype IllegalIndex <: Exception;
166	public final static NATTypeTag _ILLIDX_ = NATTypeTag.atValue("IllegalIndex", _EXCEPTION_);
167	
168//deftype IllegalOperation <: Exception;
169	public final static NATTypeTag _ILLOP_ = NATTypeTag.atValue("IllegalOperation", _EXCEPTION_);
170	
171//deftype IllegalParameter <: Exception;
172	public final static NATTypeTag _ILLPARAM_ = NATTypeTag.atValue("IllegalParameter", _EXCEPTION_);
173	
174//deftype IllegalQuote <: Exception;
175	public final static NATTypeTag _ILLQUOTE_ = NATTypeTag.atValue("IllegalQuote", _EXCEPTION_);
176	
177//deftype IllegalSplice <: Exception;
178	public final static NATTypeTag _ILLSPLICE_ = NATTypeTag.atValue("IllegalSplice", _EXCEPTION_);
179	
180//deftype IllegalUnquote <: Exception;
181	public final static NATTypeTag _ILLUQUOTE_ = NATTypeTag.atValue("IllegalUnquote", _EXCEPTION_);
182	
183//deftype IndexOutOfBounds <: Exception;
184	public final static NATTypeTag _IDXOUTOFBOUNDS_ = NATTypeTag.atValue("IndexOutOfBounds", _EXCEPTION_);
185	
186//deftype IOProblem <: Exception;
187	public final static NATTypeTag _IOPROBLEM_ = NATTypeTag.atValue("IOProblem", _EXCEPTION_);
188	
189//deftype NotInstantiatable <: Exception;
190	public final static NATTypeTag _NOTINSTANTIATABLE_ = NATTypeTag.atValue("NotInstantiatable", _EXCEPTION_);
191	
192//deftype ParseError <: Exception;
193	public final static NATTypeTag _PARSEERROR_ = NATTypeTag.atValue("ParseError", _EXCEPTION_);
194	
195//deftype ReflectionFailure <: Exception;
196	public final static NATTypeTag _REFLECTIONFAILURE_ = NATTypeTag.atValue("ReflectionFailure", _EXCEPTION_);
197
198//	deftype SelectorNotFound <: Exception;
199	public final static NATTypeTag _SELECTORNOTFOUND_ = NATTypeTag.atValue("SelectorNotFound", _EXCEPTION_);
200	
201//deftype SymbiosisFailure <: Exception;
202	public final static NATTypeTag _SYMBIOSISFAILURE_ = NATTypeTag.atValue("SymbiosisFailure", _EXCEPTION_);
203	
204//deftype TypeMismatch <: Exception;
205	public final static NATTypeTag _TYPEMISMATCH_ = NATTypeTag.atValue("TypeMismatch", _EXCEPTION_);
206	
207//deftype UnassignableField <: Exception;
208	public final static NATTypeTag _UNASSIGNABLEFIELD_ = NATTypeTag.atValue("UnassignableField", _EXCEPTION_);
209	
210//deftype UndefinedField <: Exception;
211	public final static NATTypeTag _UNDEFINEDSLOT_ = NATTypeTag.atValue("UndefinedSlot", _EXCEPTION_);
212	
213//deftype CustomException <: Exception;
214	public final static NATTypeTag _CUSTOMEXCEPTION_ = NATTypeTag.atValue("CustomException", _EXCEPTION_);
215
216//deftype JavaException <: Exception;
217	public final static NATTypeTag _JAVAEXCEPTION_ = NATTypeTag.atValue("JavaException", _EXCEPTION_);
218
219//deftype ImportConflict <: Exception;
220	public final static NATTypeTag _IMPORTCONFLICT_ = NATTypeTag.atValue("ImportConflict", _EXCEPTION_);
221
222//deftype ObjectOffline <: Exception;
223    public final static NATTypeTag _OBJECTOFFLINE_ = NATTypeTag.atValue("ObjectOffline", _EXCEPTION_);
224    
225//deftype Signal;
226    public final static NATTypeTag _SIGNAL_ = NATTypeTag.atValue("Signal");
227    
228//deftype EventSource <: Signal
229    public final static NATTypeTag _EVENT_SOURCE_ = NATTypeTag.atValue("EventSource", _SIGNAL_);
230    
231//deftype Behavior <: Signal
232    public final static NATTypeTag _BEHAVIOR_ = NATTypeTag.atValue("Behavior", _SIGNAL_);
233
234//deftype Lifted; // Used to annotate methods which can be applied directly to behaviors. 
235    public final static NATTypeTag _LIFTED_ = NATTypeTag.atValue("Lifted");
236}