本文整理汇总了C++中VM::makeCons方法的典型用法代码示例。如果您正苦于以下问题:C++ VM::makeCons方法的具体用法?C++ VM::makeCons怎么用?C++ VM::makeCons使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类VM
的用法示例。
在下文中一共展示了VM::makeCons方法的4个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: testEval
void testEval() {
VM vm;
Value plus = vm.syms.add;
Value add = vm.objs.builtin_add;
Value _if = vm.syms.if_;
Value _true = vm.true_;
Value _false = vm.false_;
Value one = vm.makeInteger(1);
Value two = vm.makeInteger(2);
{
EXPECT_INT_EQ(eval(vm, vm.makeInteger(1), vm.nil).asInteger(vm), 1);
EXPECT_INT_EQ(eval(vm, vm.makeInteger(42), vm.nil).asInteger(vm), 42);
}
{
Value list = vm.makeList(add, one, two);
EXPECT_INT_EQ(eval(vm, list, vm.nil).asInteger(vm), 3);
}
{
Value a = vm.makeSymbol("a");
Value pair = vm.makeCons(a, vm.makeInteger(42));
Value env = vm.makeCons(pair, vm.nil);
EXPECT_INT_EQ(eval(vm, a, env).asInteger(vm), 42);
}
{
Value list = vm.makeList(plus, one, two);
Value pair = vm.makeCons(plus, add);
Value env = vm.makeCons(pair, vm.nil);
EXPECT_INT_EQ(eval(vm, list, env).asInteger(vm), 3);
}
{
Value list = vm.makeList(_if, _true, one, two);
EXPECT_INT_EQ(eval(vm, list, vm.nil).asInteger(vm), 1);
}
{
Value list = vm.makeList(_if, _false, one, two);
EXPECT_INT_EQ(eval(vm, list, vm.nil).asInteger(vm), 2);
}
}
示例2: testMakeList
void testMakeList() {
VM vm;
Value one = vm.makeInteger(1);
Value two = vm.makeInteger(2);
Value three = vm.makeInteger(3);
{
Value a = vm.makeList();
Value b = vm.nil;
EXPECT(a == b);
}
{
Value a = vm.makeList(one);
Value b = vm.makeCons(one, vm.nil);
EXPECT(a == b);
}
{
Value a = vm.makeList(one, two);
Value b = vm.makeCons(one, vm.makeCons(two, vm.nil));
EXPECT(a == b);
}
{
Value a = vm.makeList(one, two, three);
Value b = vm.makeCons(one, vm.makeCons(two, vm.makeCons(three, vm.nil)));
EXPECT(a == b);
}
}
示例3: testParseAndEval
void testParseAndEval() {
VM vm;
{
Value plus = vm.syms.add;
Value add = vm.objs.builtin_add;
Value pair = vm.makeCons(plus, add);
Value env = vm.makeCons(pair, vm.nil);
Value input = vm.parse("(+ 1 2)");
Value res = eval(vm, input, env);
EXPECT_INT_EQ(res.asInteger(vm), 3);
}
{
Value scons = vm.syms.Cons;
Value cons = vm.objs.builtin_cons;
Value env = vm.makeList(vm.makeCons(scons, cons));
Value input = vm.parse("((letlambdas ( ((myfunc x y) (cons x y)) ) myfunc) 1 2)");
Value res = eval(vm, input, env);
EXPECT(res == vm.makeCons(vm.makeInteger(1), vm.makeInteger(2)));
}
{
Value input = vm.parse("((import core +) 1 2)");
Value res = eval(vm, input, vm.nil);
EXPECT_INT_EQ(res.asInteger(vm), 3);
}
}
示例4: testSymbols
void testSymbols() {
VM vm;
Value a = vm.makeSymbol("a");
Value b = vm.makeSymbol("b");
Value a2 = vm.makeSymbol("a");
Value one = vm.makeInteger(1);
Value two = vm.makeInteger(2);
EXPECT(a == a2);
EXPECT(a != b);
EXPECT(a2 != b);
Value map = vm.makeList(
vm.makeCons(a, one),
vm.makeCons(b, two));
EXPECT_INT_EQ(map_lookup(vm, map, a).asInteger(vm), 1);
EXPECT_INT_EQ(map_lookup(vm, map, b).asInteger(vm), 2);
}