public PairType()
{
var pairTypeNumber =
InterfaceType.CreateAndBuild(
new List <IMemberDefinition> {
MemberDefinition.CreateAndBuild(new NameKey("x"), new NumberType(), false),
MemberDefinition.CreateAndBuild(new NameKey("y"), new NumberType(), false)
});
var inputKey = new NameKey("input");
var input = MemberDefinition.CreateAndBuild(inputKey, new NumberType(), false);
var methodScope = Scope.CreateAndBuild(new List <Scope.IsStatic> {
new Scope.IsStatic(input, false)
});
var localX = MemberDefinition.CreateAndBuild(new NameKey("x"), new NumberType(), false);
var localY = MemberDefinition.CreateAndBuild(new NameKey("y"), new NumberType(), false);
var pairifyKey = new NameKey("pairify");
var pairify = MemberDefinition.CreateAndBuild(pairifyKey, MethodType.CreateAndBuild(new NumberType(), pairTypeNumber), false);
Module = ModuleDefinition.CreateAndBuild(
Scope.CreateAndBuild(
new List <Scope.IsStatic> {
new Scope.IsStatic(MemberDefinition.CreateAndBuild(pairifyKey, MethodType.CreateAndBuild(new NumberType(), pairTypeNumber), false), false)
}),
new ICodeElement[] {
AssignOperation.CreateAndBuild(
MethodDefinition.CreateAndBuild(
new NumberType(),
pairTypeNumber,
input,
methodScope,
new ICodeElement[] {
ReturnOperation.CreateAndBuild(
ObjectDefiniton.CreateAndBuild(
Scope.CreateAndBuild(
new List <Scope.IsStatic> {
new Scope.IsStatic(localX, false),
new Scope.IsStatic(localY, false)
}),
new IAssignOperation[] {
AssignOperation.CreateAndBuild(
MemberReference.CreateAndBuild(input),
MemberReference.CreateAndBuild(localX)),
AssignOperation.CreateAndBuild(
MemberReference.CreateAndBuild(input),
MemberReference.CreateAndBuild(localY))
}))
},
new ICodeElement[0],
false),
MemberReference.CreateAndBuild(pairify))
},
new NameKey("pair-type"));
}
public Closoure()
{
var xKey = new NameKey("x");
var x = MemberDefinition.CreateAndBuild(xKey, new NumberType(), false);
var yKey = new NameKey("y");
var y = MemberDefinition.CreateAndBuild(yKey, new NumberType(), false);
var methodScope = Scope.CreateAndBuild(new List <Scope.IsStatic> {
new Scope.IsStatic(x, false)
});
var innerMethodScope = Scope.CreateAndBuild(new List <Scope.IsStatic> {
new Scope.IsStatic(y, false)
}, methodScope);
Module = ModuleDefinition.CreateAndBuild(
Scope.CreateAndBuild(
new List <Scope.IsStatic>()
{
new Scope.IsStatic(MemberDefinition.CreateAndBuild(new NameKey("create-accululator"), new AnyType(), false), false)
}),
new[] {
AssignOperation.CreateAndBuild(
MethodDefinition.CreateAndBuild(
new NumberType(),
MethodType.CreateAndBuild(
new NumberType(),
new NumberType()),
x,
methodScope,
new ICodeElement[] {
ReturnOperation.CreateAndBuild(
MethodDefinition.CreateAndBuild(
new NumberType(),
new NumberType(),
y,
innerMethodScope,
new ICodeElement[] {
AssignOperation.CreateAndBuild(
AddOperation.CreateAndBuild(
MemberReference.CreateAndBuild(x),
MemberReference.CreateAndBuild(y)),
MemberReference.CreateAndBuild(x)),
ReturnOperation.CreateAndBuild(
MemberReference.CreateAndBuild(x))
},
new ICodeElement[0],
false)
)
},
new ICodeElement[0],
false),
MemberReference.CreateAndBuild(MemberDefinition.CreateAndBuild(new NameKey("create-accululator"), new AnyType(), false)))
},
new NameKey("closoure"));
}
public Factorial()
{
var ifBlockScope = Scope.CreateAndBuild(new List <Scope.IsStatic> {
});
var elseBlock = Scope.CreateAndBuild(new List <Scope.IsStatic> {
});
var inputKey = new NameKey("input");
var input = MemberDefinition.CreateAndBuild(inputKey, new NumberType(), false);
var facKey = new NameKey("fac");
var fac = MemberDefinition.CreateAndBuild(facKey, MethodType.CreateAndBuild(new NumberType(), new NumberType()), false);
var methodScope = Scope.CreateAndBuild(new List <Scope.IsStatic> {
new Scope.IsStatic(input, false)
});
Module =
ModuleDefinition.CreateAndBuild(
Scope.CreateAndBuild(
new List <Scope.IsStatic> {
new Scope.IsStatic(MemberDefinition.CreateAndBuild(facKey, MethodType.CreateAndBuild(new NumberType(), new NumberType()), false), false)
}),
new ICodeElement[] {
AssignOperation.CreateAndBuild(
MethodDefinition.CreateAndBuild(
new NumberType(),
new NumberType(),
input,
methodScope,
new ICodeElement[] {
ElseOperation.CreateAndBuild(
IfOperation.CreateAndBuild(
LessThanOperation.CreateAndBuild(
MemberReference.CreateAndBuild(input),
ConstantNumber.CreateAndBuild(2)),
BlockDefinition.CreateAndBuild(
ifBlockScope,
new ICodeElement[] {
ReturnOperation.CreateAndBuild(
ConstantNumber.CreateAndBuild(1))
},
new ICodeElement[0])),
BlockDefinition.CreateAndBuild(
elseBlock,
new ICodeElement[] {
ReturnOperation.CreateAndBuild(
MultiplyOperation.CreateAndBuild(
NextCallOperation.CreateAndBuild(
SubtractOperation.CreateAndBuild(
MemberReference.CreateAndBuild(input),
ConstantNumber.CreateAndBuild(1)),
MemberReference.CreateAndBuild(fac)),
MemberReference.CreateAndBuild(input)))
},
new ICodeElement[0]))
},
new ICodeElement[0],
false),
MemberReference.CreateAndBuild(fac)
)
},
new NameKey("factorial")
);
}
public MirrorPointImplementation()
{
var keyX = new NameKey("x");
var localX = MemberDefinition.CreateAndBuild(keyX, new AnyType(), false);
var keyY = new NameKey("y");
var localY = MemberDefinition.CreateAndBuild(keyY, new AnyType(), false);
var contextKey = new NameKey("context");
var context = MemberDefinition.CreateAndBuild(
contextKey,
InterfaceType.CreateAndBuild(
Scope.CreateAndBuild(
new List <Scope.IsStatic>()
{
new Scope.IsStatic(localX, false),
new Scope.IsStatic(localY, false),
}).Members),
false);;
var inputKey = new NameKey("input");
var input = MemberDefinition.CreateAndBuild(inputKey, new EmptyType(), false);
var tempKey = new NameKey("temp");
var temp = MemberDefinition.CreateAndBuild(tempKey, new AnyType(), false);
var implementationScope = Scope.CreateAndBuild(
new List <Scope.IsStatic> {
new Scope.IsStatic(input, false),
new Scope.IsStatic(temp, false)
});
Module = ModuleDefinition.CreateAndBuild(
Scope.CreateAndBuild(
new List <Scope.IsStatic>()
{
new Scope.IsStatic(MemberDefinition.CreateAndBuild(new NameKey("mirror"), new AnyType(), false), false)
}),
new[] {
AssignOperation.CreateAndBuild(
ImplementationDefinition.CreateAndBuild(
new EmptyType(),
context,
input,
implementationScope,
new ICodeElement[] {
AssignOperation.CreateAndBuild(
PathOperation.CreateAndBuild(MemberReference.CreateAndBuild(context), MemberReference.CreateAndBuild(localX)),
MemberReference.CreateAndBuild(temp)
),
AssignOperation.CreateAndBuild(
PathOperation.CreateAndBuild(MemberReference.CreateAndBuild(context), MemberReference.CreateAndBuild(localY)),
PathOperation.CreateAndBuild(MemberReference.CreateAndBuild(context), MemberReference.CreateAndBuild(localX))
),
AssignOperation.CreateAndBuild(
MemberReference.CreateAndBuild(temp),
PathOperation.CreateAndBuild(MemberReference.CreateAndBuild(context), MemberReference.CreateAndBuild(localY))
)
},
new ICodeElement[0]),
MemberReference.CreateAndBuild(MemberDefinition.CreateAndBuild(new NameKey("mirror"), new AnyType(), false)))
},
new NameKey("mirror-module"));
}