blob: fb2acfa9e39c8e30a7d6bd6ba7c3a25959971984 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
|
/**********************************************************************
* This file is part of the "Object Teams Runtime Environment"
*
* Copyright 2002-2009 Berlin Institute of Technology, Germany.
*
* 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
* $Id: OTConstants.java 23408 2010-02-03 18:07:35Z stephan $
*
* Please visit http://www.objectteams.org for updates and contact.
*
* Contributors:
* Berlin Institute of Technology - Initial API and implementation
**********************************************************************/
package org.eclipse.objectteams.otre;
import org.apache.bcel.generic.*;
/**
* Constants for the Object Teams Runtime Environment
* @author Christine Hundt
* @author Stephan Herrmann
*/
public interface OTConstants {
// ------------------------------------------
// ---------- Types: ------------------------
// ------------------------------------------
/** Type <tt>java.lang.Object</tt> */
ObjectType object = new ObjectType("java.lang.Object");
/** Type <tt>java.lang.Object</tt> */
ObjectType string = new ObjectType("java.lang.String");
/** Type <tt>java.lang.Class</tt> */
ObjectType classType = new ObjectType("java.lang.Class");
/** Signature of java.lang.Class#getMethod(String, Class...) */
public static final Type[] getMethodSignature = new Type[]{string, new ArrayType(classType, 1)};
/** Type <tt>java.lang.reflect.Method</tt> */
ObjectType methodType = new ObjectType("java.lang.reflect.Method");
/** Type <tt>org.objectteams.Team</tt> */
String teamName = "org.objectteams.ITeam";
ObjectType teamType = new ObjectType(teamName);
String teamClassName = "org.objectteams.Team";
ObjectType teamClassType = new ObjectType(teamClassName);
/** Type <tt>org.objectteams.LiftingVetoException</tt> */
ObjectType liftingVeto = new ObjectType("org.objectteams.LiftingVetoException");
/** Type <tt>org.eclipse.objectteams.otre.OTREInternalError</tt> */
ObjectType internalError = new ObjectType("org.eclipse.objectteams.otre.OTREInternalError");
/** Type <tt>org.objectteams.ResultNotProvidedError</tt> */
ObjectType notProvidedError = new ObjectType("org.objectteams.ResultNotProvidedError");
/** Type <tt>org.objectteams.UnsupportedFeatureException</tt> */
ObjectType unsupportedFeature = new ObjectType("org.objectteams.UnsupportedFeatureException");
ObjectType threadType = new ObjectType("java.lang.Thread");
/** Type <tt>org.objectteams.Team[]</tt> */
ArrayType teamArray = new ArrayType(teamType, 1);
/** Type <tt>int[]</tt> */
ArrayType intArray = new ArrayType(Type.INT, 1);
/** Type <tt>java.lang.Object[]</tt> */
ArrayType objectArray = new ArrayType(object, 1);
ObjectType roleSetType = new ObjectType("java.util.HashSet");
ObjectType nullPointerException = new ObjectType("java.lang.NullPointerException");
String STRING_BUFFER_NAME = "java.lang.StringBuffer";
// ============ VERSION: ==============
public static final int OT_VERSION_MAJOR = 0;
public static final int OT_VERSION_MINOR = 8;
public static final int OT_REVISION = 18;
// required compiler revision in the 0.9 stream:
public static final int OT09_REVISION = 26;
// required compiler revision in the 1.0 stream:
public static final int OT10_REVISION = 0;
// required compiler revision in the 1.1 stream:
public static final int OT11_REVISION = 0;
// required compiler revision in the 1.2 stream:
public static final int OT12_REVISION = 0;
// required compiler revision in the 1.3 stream:
public static final int OT13_REVISION = 0;
// required compiler revision in the 1.4 stream:
public static final int OT14_REVISION = 1;
// required compiler revision in the 1.5 stream:
public static final int OT15_REVISION = 0;
// ------------------------------------------
// ---------- Flags and Modifiers: ----------
// ------------------------------------------
/** Bytecode encoding of modifier <tt>team</tt> */
final static int TEAM = 0x8000;
// 'CallinFlags':
final static int OVERRIDING =1; // this role method is inherited from the super role
final static int WRAPPER =2; // this is a role method wrapper (in a team)
// ------------------------------------------
// ---------- Names: ------------------------
// ------------------------------------------
/** General prefix to mark all generated names. */
final static String OT_PREFIX = "_OT$";
/** Name of the base reference of roles. */
final static String BASE = "_OT$base";
/** Name of the getBase method of roles (ifc and class). */
final static String GET_BASE = "_OT$getBase";
/** Prefix for otdt. */
final static String OTDT_PREFIX = "__OT__";
/** Tsuper marker interface prefix. */
final static String TSUPER_PREFIX = "TSuper__OT__";
/** field for storing the class object in JVM < 5 */
final static String SELF_CLASS = "_OT$self_class$";
// -----------------------------------------
// ---------- Signature enhancement --------
// -----------------------------------------
/** Name of synthetic parameter. */
final static String TEAMS = "_OT$teams";
/** Name of synthetic parameter. */
final static String TEAMIDS = "_OT$teamIDs";
/** Name of synthetic parameter. */
final static String IDX = "_OT$idx";
/** Name of synthetic parameter. */
final static String BIND_IDX = "_OT$bindIdx";
/** Name of synthetic parameter. */
final static String UNUSED = "_OT$unusedArgs";
/** Name of synthetic parameter. */
final static String BASE_METH_TAG = "_OT$baseMethTag";
/** Number of extra arguments in enhanced signatures. */
static final int EXTRA_ARGS = 6;
/** Position of generated argument. */
static final int TEAMS_ARG = 1;
/** Position of generated argument. */
static final int TEAMIDS_ARG = 2;
/** Position of generated argument. */
static final int IDX_ARG = 3;
/** Position of generated argument. */
static final int BIND_IDX_ARG = 4;
/** Position of generated argument. */
static final int BASE_METH_ARG = 5; // ## really const? also UNUSED?
/** Position of generated argument. */
static final int UNUSED_ARG = 6;
// ---------- Features to prevent/aid garbage collection: ----------
String ROLE_SET = OT_PREFIX + "roleSet"; // field HashSet _OT$roleSet;
String ADD_ROLE = OT_PREFIX + "addRole"; // method void _OT$addRole(Object)
String REMOVE_ROLE = OT_PREFIX + "removeRole"; // method void _OT$removeRole(Object)
String IBOUND_BASE = "org.objectteams.IBoundBase"; // interface comprising the above methods.
// -----------------------------------------
// ---------- Other constants --------
// -----------------------------------------
/** Marker for comment lines in the team config file. */
static final String COMMENT_MARKER = "#";
/** Constant for invalid base method tags (a method can not be relocated from a base call). */
static final int INVALID_BASE_METHOD_TAG = -2;
// --------------------------------------------------------------
// ---------- Separator for static replace binding keys ---------
// --------------------------------------------------------------
static final String STATIC_REPLACE_BINDING_SEPARATOR = "..";
// ------------------------------------------------------------------------------------
// ---------- Linenumbers with more information. ----------------------
// ---------- (semantic linenumber) For debugging purpose. ------
// ------------------------------------------------------------------------------------
static final int STEP_OVER_LINENUMBER = Short.MAX_VALUE *2;
static final int STEP_INTO_LINENUMBER = STEP_OVER_LINENUMBER - 1;
}
|
