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
|
/*
* System.Reflection.Emit-like API for writing .NET assemblies to MSIL
*/
// $Id$
package ch.epfl.lamp.compiler.msil.emit
import ch.epfl.lamp.compiler.msil._
import java.util.HashMap
import java.util.ArrayList
import java.io.IOException
/**
* Defines and represents a module. Get an instance of ModuleBuilder
* by calling DefineDynamicModule
*
* @author Nikolay Mihaylov
* @version 1.0
*/
class ModuleBuilder(name: String, fullname: String, scopeName: String, assembly: Assembly)
extends Module(name, fullname, scopeName, assembly)
with ICustomAttributeSetter
with Visitable
{
//##########################################################################
// public interface
/**
* Complete the global function definitions for this dynamic module.
* This method should be called when the user is done with defining
* all of the global functions within this dynamic module. After calling
* this function, no more new global functions or new global data are
* allowed.
*/
def CreateGlobalFunctions() {
if (globalsCreated)
throw new RuntimeException("Global functions are already created")
this.fields = fieldBuilders.toArray(fields).asInstanceOf[Array[FieldInfo]]
this.methods = methodBuilders.toArray(methods).asInstanceOf[Array[MethodInfo]]
globalsCreated = true
}
/**
* Constructs a TypeBuilder for a type with the specified name
*/
def DefineType(typeName: String): TypeBuilder = {
return DefineType(typeName, 0, null, Type.EmptyTypes)
}
/**
* Constructs a TypeBuilder for a type with the specified name
* and specified attributes
*/
def DefineType(typeName: String, attributes: Int): TypeBuilder = {
return DefineType(typeName, attributes, null, Type.EmptyTypes)
}
/**
* Constructs a TypeBuilder given type name, its attributes,
* and the type that the defined type extends.
*/
def DefineType(typeName: String, attributes: Int,
baseType: Type): TypeBuilder = {
return DefineType(typeName, attributes, baseType, Type.EmptyTypes)
}
/**
* Constructs a TypeBuilder given the Full specification of a type,
* Given the type name, attributes, the type that the defined type
* extends, and the interfaces that the defined type implements.
*/
def DefineType(typeName: String,
attributes: Int,
baseType: Type,
interfaces: Array[Type]): TypeBuilder =
{
var t: Type = GetType(typeName) // Module.GetType(String)
if (t != null)
throw new RuntimeException
("Type [" + Assembly + "]" + typeName + "' already exists!")
val `type` =
new TypeBuilder(this, attributes, typeName, baseType, interfaces, null)
addType(`type`)
return `type`
}
/**
* Defines a global method given its name, attributes, return type, and
* parameter types.
*/
def DefineGlobalMethod(name: String, attributes: Int,
returnType: Type, paramTypes: Array[Type]): MethodBuilder =
{
val method =
new MethodBuilder(name, null, attributes, returnType, paramTypes)
methodBuilders.add(method)
return method
}
override def GetTypes(): Array[Type] = {
return typesMap.values().toArray(Type.EmptyTypes).asInstanceOf[Array[Type]]
}
/** Sets a custom attribute. */
def SetCustomAttribute(constr: ConstructorInfo, value: Array[Byte]) {
addCustomAttribute(constr, value)
}
//##########################################################################
// internal members
var globalsCreated = false
protected var fieldBuilders = new ArrayList[FieldInfo]()
protected var methodBuilders = new ArrayList[MethodInfo]()
override def addType(t: Type): Type = {
return super.addType(t)
}
//##########################################################################
/**
* the apply method for a visitor
*/
@throws(classOf[IOException])
def apply(v: Visitor) {
v.caseModuleBuilder(this)
}
//##########################################################################
}
|
