Context Navigation

source: branches/PushGP/HeuristicLab.PushGP/HeuristicLab.Tests/Interpreter/Expressions/CodeExpressionTests.cs @ 15017

Visit:

Last change on this file since 15017 was 15017, checked in by pkimmesw, 7 years ago
#2665 Fixed Benchmark Problem Definition, Converted LoopExpressions to stateless expressions, Added several unit test to ensure funcionality, Fixed UI bugs
File size: 33.2 KB

Rev	Line
[14727]	1	namespace HeuristicLab.Tests.Interpreter.Expressions {
	2	using HeuristicLab.Problems.ProgramSynthesis.Push.Expressions;
	3	using HeuristicLab.Problems.ProgramSynthesis.Push.Parser;
	4	using HeuristicLab.Problems.ProgramSynthesis.Push.Stack;
	5	using Microsoft.VisualStudio.TestTools.UnitTesting;
	6
	7
	8	[TestClass]
	9	public class CodeExpressionTests : CommonTests<Expression> {
	10	protected override string TypeName
	11	{
	12	get
	13	{
	14	return "CODE";
	15	}
	16	}
	17
[14834]	18	protected override IPushStack<Expression> Stack
[14727]	19	{
	20	get
	21	{
[14908]	22	return interpreter.CodeStack;
[14727]	23	}
	24	}
	25
	26	[TestMethod]
	27	[TestProperty("Time", "Short")]
	28	[TestCategory("ExpressionTest")]
	29	[TestCategory("CodeExpressionTest")]
	30	public void TestAppendLists() {
[14733]	31	var first = PushParser.Parse("( A )");
	32	var second = PushParser.Parse("( B )");
	33	var result = PushParser.Parse("( A B )");
[14727]	34
[14908]	35	interpreter.CodeStack.Push(second, first);
	36	interpreter.Run(new CodeAppendExpression());
[14727]	37
[14908]	38	Assert.AreEqual(result, interpreter.CodeStack.Top);
	39	CheckOtherStacksAreEmpty();
[14727]	40	}
	41
	42	[TestMethod]
	43	[TestProperty("Time", "Short")]
	44	[TestCategory("ExpressionTest")]
	45	[TestCategory("CodeExpressionTest")]
	46	public void TestAppendListAndLiteral() {
[14733]	47	var first = PushParser.Parse("( A )");
	48	var second = PushParser.Parse("5");
	49	var result = PushParser.Parse("( A 5 )");
[14727]	50
[14908]	51	interpreter.CodeStack.Push(second, first);
	52	interpreter.Run(new CodeAppendExpression());
[14727]	53
[14908]	54	Assert.AreEqual(result, interpreter.CodeStack.Top);
	55	CheckOtherStacksAreEmpty();
[14727]	56	}
	57
	58	[TestMethod]
	59	[TestProperty("Time", "Short")]
	60	[TestCategory("ExpressionTest")]
	61	[TestCategory("CodeExpressionTest")]
	62	public void TestAppendLiterals() {
[14733]	63	var first = PushParser.Parse("4");
	64	var second = PushParser.Parse("5");
	65	var result = PushParser.Parse("( 4 5 )");
[14727]	66
[14908]	67	interpreter.CodeStack.Push(second, first);
	68	interpreter.Run(new CodeAppendExpression());
[14727]	69
[14908]	70	Assert.AreEqual(result, interpreter.CodeStack.Top);
	71	CheckOtherStacksAreEmpty();
[14727]	72	}
	73
	74	[TestMethod]
	75	[TestProperty("Time", "Short")]
	76	[TestCategory("ExpressionTest")]
	77	[TestCategory("CodeExpressionTest")]
	78	public void TestDuplicateList() {
[14733]	79	var list = PushParser.Parse("( A B C )");
	80	var result = PushParser.Parse("( A B C )");
[14727]	81
[14908]	82	interpreter.CodeStack.Push(list);
	83	interpreter.Run(new CodeDuplicateExpression());
[14727]	84
[14908]	85	Assert.AreEqual(Stack.Count, 2);
	86	Assert.AreEqual(Stack[0], list);
	87	Assert.AreEqual(Stack[1], result);
[14727]	88
[14908]	89	CheckOtherStacksAreEmpty();
[14727]	90	}
	91
	92	[TestMethod]
	93	[TestProperty("Time", "Short")]
	94	[TestCategory("ExpressionTest")]
	95	[TestCategory("CodeExpressionTest")]
	96	public void TestAtomList() {
[14733]	97	var first = PushParser.Parse("( A )");
[14727]	98
[14908]	99	interpreter.CodeStack.Push(first);
	100	interpreter.Run(new CodeAtomExpression());
[14727]	101
[14908]	102	Assert.AreEqual(false, interpreter.BooleanStack.Top);
	103	TestStackCounts(booleanStack: 1);
[14727]	104	}
	105
	106	[TestMethod]
	107	[TestProperty("Time", "Short")]
	108	[TestCategory("ExpressionTest")]
	109	[TestCategory("CodeExpressionTest")]
	110	public void TestAtomLiteral() {
[14733]	111	var first = PushParser.Parse("5");
[14727]	112
[14908]	113	interpreter.CodeStack.Push(first);
	114	interpreter.Run(new CodeAtomExpression());
[14727]	115
[14908]	116	Assert.AreEqual(true, interpreter.BooleanStack.Top);
	117	TestStackCounts(booleanStack: 1);
[14727]	118	}
	119
	120	[TestMethod]
	121	[TestProperty("Time", "Short")]
	122	[TestCategory("ExpressionTest")]
	123	[TestCategory("CodeExpressionTest")]
	124	public void TestAtomSingleInstruction() {
[14733]	125	var first = PushParser.Parse("INTEGER.+");
[14727]	126
[14908]	127	interpreter.CodeStack.Push(first);
	128	interpreter.Run(new CodeAtomExpression());
[14727]	129
[14908]	130	Assert.AreEqual(true, interpreter.BooleanStack.Top);
	131	TestStackCounts(booleanStack: 1);
[14727]	132	}
	133
	134	[TestMethod]
	135	[TestProperty("Time", "Short")]
	136	[TestCategory("ExpressionTest")]
	137	[TestCategory("CodeExpressionTest")]
	138	public void TestCarList() {
[14733]	139	var first = PushParser.Parse("( A B C )");
	140	var result = PushParser.Parse("A");
[14727]	141
[14908]	142	interpreter.CodeStack.Push(first);
	143	interpreter.Run(new CodeCarExpression());
[14727]	144
[14908]	145	Assert.AreEqual(result, interpreter.CodeStack.Top);
	146	CheckOtherStacksAreEmpty();
[14727]	147	}
	148
	149	[TestMethod]
	150	[TestProperty("Time", "Short")]
	151	[TestCategory("ExpressionTest")]
	152	[TestCategory("CodeExpressionTest")]
	153	public void TestCarNoList() {
[14733]	154	var first = PushParser.Parse("5");
	155	var result = PushParser.Parse("5");
[14727]	156
[14908]	157	interpreter.CodeStack.Push(first);
	158	interpreter.Run(new CodeCarExpression());
[14727]	159
[14908]	160	Assert.AreEqual(result, interpreter.CodeStack.Top);
	161	CheckOtherStacksAreEmpty();
[14727]	162	}
	163
	164	[TestMethod]
	165	[TestProperty("Time", "Short")]
	166	[TestCategory("ExpressionTest")]
	167	[TestCategory("CodeExpressionTest")]
	168	public void TestCdrList() {
[14733]	169	var first = PushParser.Parse("( A B C )");
	170	var result = PushParser.Parse("( B C )");
[14727]	171
[14908]	172	interpreter.CodeStack.Push(first);
	173	interpreter.Run(new CodeCdrExpression());
[14727]	174
[14908]	175	Assert.AreEqual(result, interpreter.CodeStack.Top);
	176	CheckOtherStacksAreEmpty();
[14727]	177	}
	178
	179	[TestMethod]
	180	[TestProperty("Time", "Short")]
	181	[TestCategory("ExpressionTest")]
	182	[TestCategory("CodeExpressionTest")]
	183	public void TestCdrNoList() {
[14733]	184	var first = PushParser.Parse("5");
	185	var result = PushParser.Parse("( )");
[14727]	186
[14908]	187	interpreter.CodeStack.Push(first);
	188	interpreter.Run(new CodeCdrExpression());
[14727]	189
[14908]	190	Assert.AreEqual(result, interpreter.CodeStack.Top);
	191	CheckOtherStacksAreEmpty();
[14727]	192	}
	193
	194	[TestMethod]
	195	[TestProperty("Time", "Short")]
	196	[TestCategory("ExpressionTest")]
	197	[TestCategory("CodeExpressionTest")]
	198	public void TestCons() {
[14733]	199	var first = PushParser.Parse("( B C )");
	200	var second = PushParser.Parse("A");
	201	var result = PushParser.Parse("( A B C )");
[14727]	202
[14908]	203	interpreter.CodeStack.Push(second, first);
	204	interpreter.Run(new CodeConsExpression());
[14727]	205
[14908]	206	Assert.AreEqual(result, interpreter.CodeStack.Top);
	207	CheckOtherStacksAreEmpty();
[14727]	208	}
	209
	210	[TestMethod]
	211	[TestProperty("Time", "Short")]
	212	[TestCategory("ExpressionTest")]
	213	[TestCategory("CodeExpressionTest")]
	214	public void TestContainsTrue() {
[14733]	215	var first = PushParser.Parse("A");
	216	var second = PushParser.Parse("( A B C )");
[14727]	217
[14908]	218	interpreter.CodeStack.Push(second, first);
	219	interpreter.Run(new CodeContainsExpression());
[14727]	220
[14908]	221	Assert.AreEqual(true, interpreter.BooleanStack.Top);
	222	TestStackCounts(booleanStack: 1);
[14727]	223	}
	224
	225	[TestMethod]
	226	[TestProperty("Time", "Short")]
	227	[TestCategory("ExpressionTest")]
	228	[TestCategory("CodeExpressionTest")]
	229	public void TestContainsFalse() {
[14733]	230	var first = PushParser.Parse("D");
	231	var second = PushParser.Parse("( A B C )");
[14727]	232
[14908]	233	interpreter.CodeStack.Push(second, first);
	234	interpreter.Run(new CodeContainsExpression());
[14727]	235
[14908]	236	Assert.AreEqual(false, interpreter.BooleanStack.Top);
	237	TestStackCounts(booleanStack: 1);
[14727]	238	}
	239
	240	[TestMethod]
	241	[TestProperty("Time", "Short")]
	242	[TestCategory("ExpressionTest")]
	243	[TestCategory("CodeExpressionTest")]
	244	public void TestContainer() {
[14733]	245	var first = PushParser.Parse("( A )");
	246	var second = PushParser.Parse("( B ( C ( A ) ) ( D ( A ) ) )");
	247	var result = PushParser.Parse("( C ( A ) )");
[14727]	248
[14908]	249	interpreter.CodeStack.Push(second, first);
	250	interpreter.Run(new CodeContainerExpression());
[14727]	251
[14908]	252	Assert.AreEqual(result, interpreter.CodeStack.Top);
	253	CheckOtherStacksAreEmpty();
[14727]	254	}
	255
	256	[TestMethod]
	257	[TestProperty("Time", "Short")]
	258	[TestCategory("ExpressionTest")]
	259	[TestCategory("CodeExpressionTest")]
	260	public void TestDefinition() {
[14733]	261	var code = PushParser.Parse("( A )");
[14727]	262
[14908]	263	interpreter.CustomExpressions.Add("Test", code);
	264	interpreter.NameStack.Push("Test");
[14727]	265
[14908]	266	interpreter.Run(new CodeDefinitionExpression());
[14727]	267
[14908]	268	Assert.AreEqual(code, interpreter.CodeStack.Top);
	269	CheckOtherStacksAreEmpty();
[14727]	270	}
	271
	272	[TestMethod]
	273	[TestProperty("Time", "Short")]
	274	[TestCategory("ExpressionTest")]
	275	[TestCategory("CodeExpressionTest")]
	276	public void TestDefinitionWithoutMatchingName() {
[14733]	277	var code = PushParser.Parse("( A )");
[14727]	278	var program = new CodeDefinitionExpression();
	279
[14908]	280	interpreter.CustomExpressions.Add("Test1", code);
	281	interpreter.NameStack.Push("Test2");
	282	interpreter.Run(program);
[14727]	283
[14908]	284	TestStackCounts(nameStack: 1);
[14727]	285	}
	286
	287	[TestMethod]
	288	[TestProperty("Time", "Short")]
	289	[TestCategory("ExpressionTest")]
	290	[TestCategory("CodeExpressionTest")]
	291	public void TestDiscrepancy() {
[14733]	292	var first = PushParser.Parse("( A B )");
	293	var second = PushParser.Parse("( B C )");
[14727]	294
[14908]	295	interpreter.CodeStack.Push(second, first);
	296	interpreter.Run(new CodeDiscrepancyExpression());
[14727]	297
[14908]	298	Assert.AreEqual(2, interpreter.IntegerStack.Top);
	299	TestStackCounts(integerStack: 1);
[14727]	300	}
	301
	302	[TestMethod]
	303	[TestProperty("Time", "Short")]
	304	[TestCategory("ExpressionTest")]
	305	[TestCategory("CodeExpressionTest")]
	306	public void TestDiscrepancyAllEqual() {
[14733]	307	var first = PushParser.Parse("( A B )");
	308	var second = PushParser.Parse("( B A )");
[14727]	309
[14908]	310	interpreter.CodeStack.Push(second, first);
	311	interpreter.Run(new CodeDiscrepancyExpression());
[14727]	312
[14908]	313	Assert.AreEqual(0, interpreter.IntegerStack.Top);
	314	TestStackCounts(integerStack: 1);
[14727]	315	}
	316
	317	[TestMethod]
	318	[TestProperty("Time", "Short")]
	319	[TestCategory("ExpressionTest")]
	320	[TestCategory("CodeExpressionTest")]
	321	public void TestDiscrepancyComplex() {
[14733]	322	var first = PushParser.Parse("( A A B C D A )");
	323	var second = PushParser.Parse("( A A B D E )");
[14727]	324
[14908]	325	interpreter.CodeStack.Push(second, first);
	326	interpreter.Run(new CodeDiscrepancyExpression());
[14727]	327
[14908]	328	Assert.AreEqual(3, interpreter.IntegerStack.Top);
	329	TestStackCounts(integerStack: 1);
[14727]	330	}
	331
	332	[TestMethod]
	333	[TestProperty("Time", "Short")]
	334	[TestCategory("ExpressionTest")]
	335	[TestCategory("CodeExpressionTest")]
	336	public void TestDiscrepancWithLists() {
[14733]	337	var first = PushParser.Parse("( ( A ) A ( B ) C D A )");
	338	var second = PushParser.Parse("( A ( A ) B D E )");
[14727]	339
[14908]	340	interpreter.CodeStack.Push(second, first);
	341	interpreter.Run(new CodeDiscrepancyExpression());
[14727]	342
[14908]	343	Assert.AreEqual(5, interpreter.IntegerStack.Top);
	344	TestStackCounts(integerStack: 1);
[14727]	345	}
	346
	347	[TestMethod]
	348	[TestProperty("Time", "Short")]
	349	[TestCategory("ExpressionTest")]
	350	[TestCategory("CodeExpressionTest")]
	351	public void TestDo() {
[14733]	352	var prog = PushParser.Parse("( 10 )");
[14727]	353
[14908]	354	interpreter.CodeStack.Push(prog);
	355	interpreter.Run(new CodeDoExpression());
[14727]	356
[14908]	357	Assert.AreEqual(10, interpreter.IntegerStack.Top);
	358	TestStackCounts(integerStack: 1);
[14727]	359	}
	360
	361	[TestMethod]
	362	[TestProperty("Time", "Short")]
	363	[TestCategory("ExpressionTest")]
	364	[TestCategory("CodeExpressionTest")]
	365	public void TestDoX() {
[14733]	366	var prog = PushParser.Parse("( 10 )");
[14727]	367
[14908]	368	interpreter.CodeStack.Push(prog);
	369	interpreter.Run(new CodeDoXExpression());
[14727]	370
[14908]	371	Assert.AreEqual(10, interpreter.IntegerStack.Top);
	372	TestStackCounts(integerStack: 1);
[14727]	373	}
	374
	375	[TestMethod]
	376	[TestProperty("Time", "Short")]
	377	[TestCategory("ExpressionTest")]
	378	[TestCategory("CodeExpressionTest")]
	379	public void TestDoCount() {
[14733]	380	var prog = PushParser.Parse("INTEGER.+");
[14727]	381
[14908]	382	interpreter.IntegerStack.Push(3);
	383	interpreter.CodeStack.Push(prog);
	384	interpreter.Run(new CodeDoCountExpression());
[14727]	385
[14908]	386	Assert.AreEqual(6, interpreter.IntegerStack.Top);
	387	TestStackCounts(integerStack: 1);
[14727]	388	}
	389
	390	[TestMethod]
	391	[TestProperty("Time", "Short")]
	392	[TestCategory("ExpressionTest")]
	393	[TestCategory("CodeExpressionTest")]
	394	public void TestDoCountWithNegativeCounter() {
[14733]	395	var prog = PushParser.Parse("INTEGER.+");
[14727]	396
[14908]	397	interpreter.IntegerStack.Push(-1);
	398	interpreter.CodeStack.Push(prog);
	399	interpreter.Run(new CodeDoCountExpression());
[14727]	400
[14908]	401	Assert.AreEqual(-1, interpreter.IntegerStack.Top);
	402	TestStackCounts(codeStack: 1, integerStack: 1);
[14727]	403	}
	404
	405	[TestMethod]
	406	[TestProperty("Time", "Short")]
	407	[TestCategory("ExpressionTest")]
	408	[TestCategory("CodeExpressionTest")]
	409	public void TestDoRange() {
[14733]	410	var prog = PushParser.Parse("INTEGER.+");
[14727]	411
[14908]	412	interpreter.IntegerStack.Push(3, 5);
	413	interpreter.CodeStack.Push(prog);
	414	interpreter.Run(new CodeDoRangeExpression());
[14727]	415
[14908]	416	Assert.AreEqual(12, interpreter.IntegerStack.Top);
	417	TestStackCounts(integerStack: 1);
[14727]	418	}
	419
	420	[TestMethod]
	421	[TestProperty("Time", "Short")]
	422	[TestCategory("ExpressionTest")]
	423	[TestCategory("CodeExpressionTest")]
	424	public void TestDoRangeWithEqualIndecators() {
[14733]	425	var prog = PushParser.Parse("INTEGER.+");
[14727]	426
[14908]	427	interpreter.IntegerStack.Push(3, 3);
	428	interpreter.CodeStack.Push(prog);
	429	interpreter.Run(new CodeDoRangeExpression());
[14727]	430
[14908]	431	Assert.AreEqual(3, interpreter.IntegerStack.Top);
[15017]	432	TestStackCounts(integerStack: 1);
[14727]	433	}
	434
	435	[TestMethod]
	436	[TestProperty("Time", "Short")]
	437	[TestCategory("ExpressionTest")]
	438	[TestCategory("CodeExpressionTest")]
	439	public void TestDoRangeWithNegativeIndecators() {
[14733]	440	var prog = PushParser.Parse("INTEGER.+");
[14727]	441
[14908]	442	interpreter.IntegerStack.Push(-3, -5);
	443	interpreter.CodeStack.Push(prog);
	444	interpreter.Run(new CodeDoRangeExpression());
[14727]	445
[14908]	446	Assert.AreEqual(-12, interpreter.IntegerStack.Top);
	447	TestStackCounts(integerStack: 1);
[14727]	448	}
	449
	450	[TestMethod]
	451	[TestProperty("Time", "Short")]
	452	[TestCategory("ExpressionTest")]
	453	[TestCategory("CodeExpressionTest")]
	454	public void TestDoTimes() {
[14733]	455	var prog = PushParser.Parse("( INTEGER.DUP INTEGER.+ )");
[14727]	456
[15017]	457	interpreter.IntegerStack.Push(2, 4);
[14908]	458	interpreter.CodeStack.Push(prog);
	459	interpreter.Run(new CodeDoTimesExpression());
[14727]	460
[14908]	461	Assert.AreEqual(32, interpreter.IntegerStack.Top);
	462	TestStackCounts(integerStack: 1);
[14727]	463	}
	464
	465	[TestMethod]
	466	[TestProperty("Time", "Short")]
	467	[TestCategory("ExpressionTest")]
	468	[TestCategory("CodeExpressionTest")]
	469	public void TestDoTimesWithNegativeCounter() {
[14733]	470	var prog = PushParser.Parse("( INTEGER.DUP INTEGER.+ )");
[14727]	471
[14908]	472	interpreter.IntegerStack.Push(2, -3);
	473	interpreter.CodeStack.Push(prog);
	474	interpreter.Run(new CodeDoTimesExpression());
[14727]	475
[14908]	476	Assert.AreEqual(-3, interpreter.IntegerStack.Top);
	477	TestStackCounts(codeStack: 1, integerStack: 2);
[14727]	478	}
	479
	480	[TestMethod]
	481	[TestProperty("Time", "Short")]
	482	[TestCategory("ExpressionTest")]
	483	[TestCategory("CodeExpressionTest")]
	484	public void TestNestedDoRange() {
[14908]	485	interpreter.Run(
[14727]	486	"( 0 2 CODE.QUOTE ( 1 INTEGER.+ 0 3 CODE.QUOTE ( 1 INTEGER.+ INTEGER.* ) CODE.DORANGE INTEGER.+ ) CODE.DORANGE )");
	487
[14908]	488	Assert.AreEqual(144, interpreter.IntegerStack.Top);
	489	TestStackCounts(integerStack: 1);
[14727]	490	}
	491
	492	[TestMethod]
	493	[TestProperty("Time", "Short")]
	494	[TestCategory("ExpressionTest")]
	495	[TestCategory("CodeExpressionTest")]
	496	public void TestNestedDoCount() {
[14908]	497	interpreter.Run(
[14727]	498	"( 2 CODE.QUOTE ( 1 INTEGER.+ 3 CODE.QUOTE ( 1 INTEGER.+ INTEGER.* ) CODE.DOCOUNT INTEGER.+ ) CODE.DOCOUNT )");
	499
[14908]	500	Assert.AreEqual(144, interpreter.IntegerStack.Top);
	501	TestStackCounts(integerStack: 1);
[14727]	502	}
	503
	504	[TestMethod]
	505	[TestProperty("Time", "Short")]
	506	[TestCategory("ExpressionTest")]
	507	[TestCategory("CodeExpressionTest")]
	508	public void TestNestedDoTimes() {
[14908]	509	interpreter.Run(
[15017]	510	"( 4 CODE.QUOTE ( 2 4 CODE.QUOTE ( 2 INTEGER.* ) CODE.DOTIMES INTEGER.+ ) CODE.DOTIMES )");
[14727]	511
[14908]	512	Assert.AreEqual(128, interpreter.IntegerStack.Top);
	513	TestStackCounts(integerStack: 1);
[14727]	514	}
	515
	516	[TestMethod]
	517	[TestProperty("Time", "Short")]
	518	[TestCategory("ExpressionTest")]
	519	[TestCategory("CodeExpressionTest")]
	520	public void TestExtract() {
[14733]	521	var prog = PushParser.Parse("( A ( B C ( D ) E ) F G H I J ( K ) L )");
	522	var result = PushParser.Parse("( D )");
[14727]	523
[14908]	524	interpreter.IntegerStack.Push(5);
	525	interpreter.CodeStack.Push(prog);
	526	interpreter.Run(new CodeExtractExpression());
[14727]	527
[14908]	528	Assert.AreEqual(result, interpreter.CodeStack.Top);
	529	CheckOtherStacksAreEmpty();
[14727]	530	}
	531
	532	[TestMethod]
	533	[TestProperty("Time", "Short")]
	534	[TestCategory("ExpressionTest")]
	535	[TestCategory("CodeExpressionTest")]
	536	public void TestExtractInteger() {
[14733]	537	var prog = PushParser.Parse("( A ( 5 C ( 4.2 ) INTEGER.+ ) FALSE )");
	538	var result = PushParser.Parse("5");
[14727]	539
[14908]	540	interpreter.IntegerStack.Push(3);
	541	interpreter.CodeStack.Push(prog);
	542	interpreter.Run(new CodeExtractExpression());
[14727]	543
[14908]	544	Assert.AreEqual(result, interpreter.CodeStack.Top);
	545	CheckOtherStacksAreEmpty();
[14727]	546	}
	547
	548	[TestMethod]
	549	[TestProperty("Time", "Short")]
	550	[TestCategory("ExpressionTest")]
	551	[TestCategory("CodeExpressionTest")]
	552	public void TestExtractFloat() {
[14733]	553	var prog = PushParser.Parse("( A ( 5 C ( 4.2 ) INTEGER.+ ) FALSE )");
	554	var result = PushParser.Parse("4.2");
[14727]	555
[14908]	556	interpreter.IntegerStack.Push(6);
	557	interpreter.CodeStack.Push(prog);
	558	interpreter.Run(new CodeExtractExpression());
[14727]	559
[14908]	560	Assert.AreEqual(result, interpreter.CodeStack.Top);
	561	CheckOtherStacksAreEmpty();
[14727]	562	}
	563
	564	[TestMethod]
	565	[TestProperty("Time", "Short")]
	566	[TestCategory("ExpressionTest")]
	567	[TestCategory("CodeExpressionTest")]
	568	public void TestExtractBoolean() {
[14733]	569	var prog = PushParser.Parse("( A ( 5 C ( 4.2 ) INTEGER.+ ) FALSE )");
	570	var result = PushParser.Parse("FALSE");
[14727]	571
[14908]	572	interpreter.IntegerStack.Push(8);
	573	interpreter.CodeStack.Push(prog);
	574	interpreter.Run(new CodeExtractExpression());
[14727]	575
[14908]	576	Assert.AreEqual(result, interpreter.CodeStack.Top);
	577	CheckOtherStacksAreEmpty();
[14727]	578	}
	579
	580	[TestMethod]
	581	[TestProperty("Time", "Short")]
	582	[TestCategory("ExpressionTest")]
	583	[TestCategory("CodeExpressionTest")]
	584	public void TestExtractInstruction() {
[14733]	585	var prog = PushParser.Parse("( A ( 5 C ( 4.2 ) INTEGER.+ ) FALSE )");
	586	var result = PushParser.Parse("INTEGER.+");
[14727]	587
[14908]	588	interpreter.IntegerStack.Push(7);
	589	interpreter.CodeStack.Push(prog);
	590	interpreter.Run(new CodeExtractExpression());
[14727]	591
[14908]	592	Assert.AreEqual(result, interpreter.CodeStack.Top);
	593	CheckOtherStacksAreEmpty();
[14727]	594	}
	595
	596	[TestMethod]
	597	[TestProperty("Time", "Short")]
	598	[TestCategory("ExpressionTest")]
	599	[TestCategory("CodeExpressionTest")]
	600	public void TestFromBoolean() {
[14733]	601	var result = PushParser.Parse("FALSE");
[14908]	602	interpreter.BooleanStack.Push(false);
	603	interpreter.Run(new CodeFromBooleanExpression());
[14727]	604
[14908]	605	Assert.AreEqual(result, interpreter.CodeStack.Top);
	606	CheckOtherStacksAreEmpty();
[14727]	607	}
	608
	609	[TestMethod]
	610	[TestProperty("Time", "Short")]
	611	[TestCategory("ExpressionTest")]
	612	[TestCategory("CodeExpressionTest")]
	613	public void TestFromFloat() {
[14733]	614	var result = PushParser.Parse("4.1");
[14908]	615	interpreter.FloatStack.Push(4.1);
	616	interpreter.Run(new CodeFromFloatExpression());
[14727]	617
[14908]	618	Assert.AreEqual(result, interpreter.CodeStack.Top);
	619	CheckOtherStacksAreEmpty();
[14727]	620	}
	621
	622	[TestMethod]
	623	[TestProperty("Time", "Short")]
	624	[TestCategory("ExpressionTest")]
	625	[TestCategory("CodeExpressionTest")]
	626	public void TestFromInteger() {
[14733]	627	var result = PushParser.Parse("4");
[14908]	628	interpreter.IntegerStack.Push(4);
	629	interpreter.Run(new CodeFromIntegerExpression());
[14727]	630
[14908]	631	Assert.AreEqual(result, interpreter.CodeStack.Top);
	632	CheckOtherStacksAreEmpty();
[14727]	633	}
	634
	635	[TestMethod]
	636	[TestProperty("Time", "Short")]
	637	[TestCategory("ExpressionTest")]
	638	[TestCategory("CodeExpressionTest")]
	639	public void TestFromName() {
[14733]	640	var result = PushParser.Parse("A");
[14908]	641	interpreter.NameStack.Push("A");
	642	interpreter.Run(new CodeFromNameExpression());
[14727]	643
[14908]	644	Assert.AreEqual(result, interpreter.CodeStack.Top);
	645	CheckOtherStacksAreEmpty();
[14727]	646	}
	647
	648	[TestMethod]
	649	[TestProperty("Time", "Short")]
	650	[TestCategory("ExpressionTest")]
	651	[TestCategory("CodeExpressionTest")]
	652	public void TestIfTrue() {
[14733]	653	var first = PushParser.Parse("FALSCH");
	654	var second = PushParser.Parse("WAHR");
[14727]	655
[14908]	656	interpreter.BooleanStack.Push(true);
	657	interpreter.CodeStack.Push(second, first);
	658	interpreter.Run(new CodeIfExpression());
[14727]	659
[14908]	660	Assert.AreEqual("WAHR", interpreter.NameStack.Top);
	661	TestStackCounts(nameStack: 1);
[14727]	662	}
	663
	664	[TestMethod]
	665	[TestProperty("Time", "Short")]
	666	[TestCategory("ExpressionTest")]
	667	[TestCategory("CodeExpressionTest")]
	668	public void TestIfFalse() {
[14733]	669	var first = PushParser.Parse("FALSCH");
	670	var second = PushParser.Parse("WAHR");
[14727]	671
[14908]	672	interpreter.BooleanStack.Push(false);
	673	interpreter.CodeStack.Push(second, first);
	674	interpreter.Run(new CodeIfExpression());
[14727]	675
[14908]	676	Assert.AreEqual("FALSCH", interpreter.NameStack.Top);
	677	TestStackCounts(nameStack: 1);
[14727]	678	}
	679
	680	[TestMethod]
	681	[TestProperty("Time", "Short")]
	682	[TestCategory("ExpressionTest")]
	683	[TestCategory("CodeExpressionTest")]
	684	public void TestInsert() {
[14733]	685	var first = PushParser.Parse("( A ( B ) C D )");
	686	var second = PushParser.Parse("( E )");
	687	var result = PushParser.Parse("( A ( B ) ( E ) D )");
[14727]	688
[14908]	689	interpreter.IntegerStack.Push(2);
	690	interpreter.CodeStack.Push(second, first);
	691	interpreter.Run(new CodeInsertExpression());
[14727]	692
[14908]	693	Assert.AreEqual(result, interpreter.CodeStack.Top);
	694	CheckOtherStacksAreEmpty();
[14727]	695	}
	696
	697	[TestMethod]
	698	[TestProperty("Time", "Short")]
	699	[TestCategory("ExpressionTest")]
	700	[TestCategory("CodeExpressionTest")]
	701	public void TestInsertWithNegativeN() {
[14733]	702	var first = PushParser.Parse("( A ( B ) C D )");
	703	var second = PushParser.Parse("( E )");
	704	var result = PushParser.Parse("( A ( B ) ( E ) D )");
[14727]	705
[14908]	706	interpreter.IntegerStack.Push(-2);
	707	interpreter.CodeStack.Push(second, first);
	708	interpreter.Run(new CodeInsertExpression());
[14727]	709
[14908]	710	Assert.AreEqual(result, interpreter.CodeStack.Top);
	711	CheckOtherStacksAreEmpty();
[14727]	712	}
	713
	714	[TestMethod]
	715	[TestProperty("Time", "Short")]
	716	[TestCategory("ExpressionTest")]
	717	[TestCategory("CodeExpressionTest")]
	718	public void TestInsertWithTooBigN() {
[14733]	719	var first = PushParser.Parse("( A ( B ) C D )");
	720	var second = PushParser.Parse("( E )");
	721	var result = PushParser.Parse("( A ( B ) ( E ) D )");
[14727]	722
[14908]	723	interpreter.IntegerStack.Push(10);
	724	interpreter.CodeStack.Push(second, first);
	725	interpreter.Run(new CodeInsertExpression());
[14727]	726
[14908]	727	Assert.AreEqual(result, interpreter.CodeStack.Top);
	728	CheckOtherStacksAreEmpty();
[14727]	729	}
	730
	731	[TestMethod]
	732	[TestProperty("Time", "Short")]
	733	[TestCategory("ExpressionTest")]
	734	[TestCategory("CodeExpressionTest")]
	735	public void TestList() {
[14733]	736	var first = PushParser.Parse("A");
	737	var second = PushParser.Parse("( B )");
	738	var result = PushParser.Parse("( A ( B ) )");
[14727]	739
[14908]	740	interpreter.CodeStack.Push(second, first);
	741	interpreter.Run(new CodeListExpression());
[14727]	742
[14908]	743	Assert.AreEqual(result, interpreter.CodeStack.Top);
	744	CheckOtherStacksAreEmpty();
[14727]	745	}
	746
	747	[TestMethod]
	748	[TestProperty("Time", "Short")]
	749	[TestCategory("ExpressionTest")]
	750	[TestCategory("CodeExpressionTest")]
	751	public void TestMemberTrue() {
[14733]	752	var first = PushParser.Parse("( A B ( B ) C ");
	753	var second = PushParser.Parse("( B )");
[14727]	754
[14908]	755	interpreter.CodeStack.Push(second, first);
	756	interpreter.Run(new CodeMemberExpression());
[14727]	757
[14908]	758	Assert.AreEqual(true, interpreter.BooleanStack.Top);
	759	TestStackCounts(booleanStack: 1);
[14727]	760	}
	761
	762	[TestMethod]
	763	[TestProperty("Time", "Short")]
	764	[TestCategory("ExpressionTest")]
	765	[TestCategory("CodeExpressionTest")]
	766	public void TestMemberFalse() {
[14733]	767	var first = PushParser.Parse("( A B C ");
	768	var second = PushParser.Parse("( B )");
[14727]	769
[14908]	770	interpreter.CodeStack.Push(second, first);
	771	interpreter.Run(new CodeMemberExpression());
[14727]	772
[14908]	773	Assert.AreEqual(false, interpreter.BooleanStack.Top);
	774	TestStackCounts(booleanStack: 1);
[14727]	775	}
	776
	777	[TestMethod]
	778	[TestProperty("Time", "Short")]
	779	[TestCategory("ExpressionTest")]
	780	[TestCategory("CodeExpressionTest")]
	781	public void TestMemberIfNoList() {
[14733]	782	var first = PushParser.Parse("B");
	783	var second = PushParser.Parse("B");
[14727]	784
[14908]	785	interpreter.CodeStack.Push(second, first);
	786	interpreter.Run(new CodeMemberExpression());
[14727]	787
[14908]	788	Assert.AreEqual(true, interpreter.BooleanStack.Top);
	789	TestStackCounts(booleanStack: 1);
[14727]	790	}
	791
	792	[TestMethod]
	793	[TestProperty("Time", "Short")]
	794	[TestCategory("ExpressionTest")]
	795	[TestCategory("CodeExpressionTest")]
	796	public void TestNoop() {
[14908]	797	interpreter.Run(new CodeNoopExpression());
[14727]	798
[14908]	799	CheckOtherStacksAreEmpty();
[14727]	800	}
	801
	802	[TestMethod]
	803	[TestProperty("Time", "Short")]
	804	[TestCategory("ExpressionTest")]
	805	[TestCategory("CodeExpressionTest")]
	806	public void TestNthIfNoList() {
[14733]	807	var prog = PushParser.Parse("A");
	808	var result = PushParser.Parse("A");
[14727]	809
[14908]	810	interpreter.IntegerStack.Push(3);
	811	interpreter.CodeStack.Push(prog);
	812	interpreter.Run(new CodeNthExpression());
[14727]	813
[14908]	814	Assert.AreEqual(result, interpreter.CodeStack.Top);
	815	CheckOtherStacksAreEmpty();
[14727]	816	}
	817
	818	[TestMethod]
	819	[TestProperty("Time", "Short")]
	820	[TestCategory("ExpressionTest")]
	821	[TestCategory("CodeExpressionTest")]
	822	public void TestNthIfEmpty() {
[14733]	823	var prog = PushParser.Parse("( )");
	824	var result = PushParser.Parse("( )");
[14727]	825
[14908]	826	interpreter.IntegerStack.Push(3);
	827	interpreter.CodeStack.Push(prog);
	828	interpreter.Run(new CodeNthExpression());
[14727]	829
[14908]	830	Assert.AreEqual(result, interpreter.CodeStack.Top);
	831	CheckOtherStacksAreEmpty();
[14727]	832	}
	833
	834	[TestMethod]
	835	[TestProperty("Time", "Short")]
	836	[TestCategory("ExpressionTest")]
	837	[TestCategory("CodeExpressionTest")]
	838	public void TestNth() {
[14733]	839	var prog = PushParser.Parse("( A B C D E )");
	840	var result = PushParser.Parse("D");
[14727]	841
[14908]	842	interpreter.IntegerStack.Push(3);
	843	interpreter.CodeStack.Push(prog);
	844	interpreter.Run(new CodeNthExpression());
[14727]	845
[14908]	846	Assert.AreEqual(result, interpreter.CodeStack.Top);
	847	CheckOtherStacksAreEmpty();
[14727]	848	}
	849
	850	[TestMethod]
	851	[TestProperty("Time", "Short")]
	852	[TestCategory("ExpressionTest")]
	853	[TestCategory("CodeExpressionTest")]
	854	public void TestNthWithTooBigN() {
[14733]	855	var prog = PushParser.Parse("( A B C D E )");
	856	var result = PushParser.Parse("D");
[14727]	857
[14908]	858	interpreter.IntegerStack.Push(13);
	859	interpreter.CodeStack.Push(prog);
	860	interpreter.Run(new CodeNthExpression());
[14727]	861
[14908]	862	Assert.AreEqual(result, interpreter.CodeStack.Top);
	863	CheckOtherStacksAreEmpty();
[14727]	864	}
	865
	866	[TestMethod]
	867	[TestProperty("Time", "Short")]
	868	[TestCategory("ExpressionTest")]
	869	[TestCategory("CodeExpressionTest")]
	870	public void TestNthWithNegativeN() {
[14733]	871	var prog = PushParser.Parse("( A B C D E )");
	872	var result = PushParser.Parse("D");
[14727]	873
[14908]	874	interpreter.IntegerStack.Push(-3);
	875	interpreter.CodeStack.Push(prog);
	876	interpreter.Run(new CodeNthExpression());
[14727]	877
[14908]	878	Assert.AreEqual(result, interpreter.CodeStack.Top);
	879	CheckOtherStacksAreEmpty();
[14727]	880	}
	881
	882	[TestMethod]
	883	[TestProperty("Time", "Short")]
	884	[TestCategory("ExpressionTest")]
	885	[TestCategory("CodeExpressionTest")]
	886	public void TestNthCdr() {
[14733]	887	var prog = PushParser.Parse("( A B C D E )");
	888	var result = PushParser.Parse("D");
[14727]	889
[14908]	890	interpreter.IntegerStack.Push(2);
	891	interpreter.CodeStack.Push(prog);
	892	interpreter.Run(new CodeNthCdrExpression());
[14727]	893
[14908]	894	Assert.AreEqual(result, interpreter.CodeStack.Top);
	895	CheckOtherStacksAreEmpty();
[14727]	896	}
	897
	898	[TestMethod]
	899	[TestProperty("Time", "Short")]
	900	[TestCategory("ExpressionTest")]
	901	[TestCategory("CodeExpressionTest")]
	902	public void TestNthCdrWithTooBigN() {
[14733]	903	var prog = PushParser.Parse("( A B C D E )");
	904	var result = PushParser.Parse("D");
[14727]	905
[14908]	906	interpreter.IntegerStack.Push(10);
	907	interpreter.CodeStack.Push(prog);
	908	interpreter.Run(new CodeNthCdrExpression());
[14727]	909
[14908]	910	Assert.AreEqual(result, interpreter.CodeStack.Top);
	911	CheckOtherStacksAreEmpty();
[14727]	912	}
	913
	914	[TestMethod]
	915	[TestProperty("Time", "Short")]
	916	[TestCategory("ExpressionTest")]
	917	[TestCategory("CodeExpressionTest")]
	918	public void TestNthCdrWithNegativeN() {
[14733]	919	var prog = PushParser.Parse("( A B C D E )");
	920	var result = PushParser.Parse("D");
[14727]	921
[14908]	922	interpreter.IntegerStack.Push(-2);
	923	interpreter.CodeStack.Push(prog);
	924	interpreter.Run(new CodeNthCdrExpression());
[14727]	925
[14908]	926	Assert.AreEqual(result, interpreter.CodeStack.Top);
	927	CheckOtherStacksAreEmpty();
[14727]	928	}
	929
	930	[TestMethod]
	931	[TestProperty("Time", "Short")]
	932	[TestCategory("ExpressionTest")]
	933	[TestCategory("CodeExpressionTest")]
	934	public void TestNthCdrIfEmpty() {
[14733]	935	var prog = PushParser.Parse("( )");
	936	var result = PushParser.Parse("( )");
[14727]	937
[14908]	938	interpreter.IntegerStack.Push(3);
	939	interpreter.CodeStack.Push(prog);
	940	interpreter.Run(new CodeNthCdrExpression());
[14727]	941
[14908]	942	Assert.AreEqual(result, interpreter.CodeStack.Top);
	943	CheckOtherStacksAreEmpty();
[14727]	944	}
	945
	946	[TestMethod]
	947	[TestProperty("Time", "Short")]
	948	[TestCategory("ExpressionTest")]
	949	[TestCategory("CodeExpressionTest")]
	950	public void TestNthCdrIfNoList() {
[14733]	951	var prog = PushParser.Parse("A");
	952	var result = PushParser.Parse("A");
[14727]	953
[14908]	954	interpreter.IntegerStack.Push(3);
	955	interpreter.CodeStack.Push(prog);
	956	interpreter.Run(new CodeNthCdrExpression());
[14727]	957
[14908]	958	Assert.AreEqual(result, interpreter.CodeStack.Top);
	959	CheckOtherStacksAreEmpty();
[14727]	960	}
	961
	962	[TestMethod]
	963	[TestProperty("Time", "Short")]
	964	[TestCategory("ExpressionTest")]
	965	[TestCategory("CodeExpressionTest")]
	966	public void TestNullTrue() {
[14733]	967	var prog = PushParser.Parse("( )");
[14727]	968
[14908]	969	interpreter.CodeStack.Push(prog);
	970	interpreter.Run(new CodeNullExpression());
[14727]	971
[14908]	972	Assert.AreEqual(true, interpreter.BooleanStack.Top);
	973	TestStackCounts(booleanStack: 1);
[14727]	974	}
	975
	976	[TestMethod]
	977	[TestProperty("Time", "Short")]
	978	[TestCategory("ExpressionTest")]
	979	[TestCategory("CodeExpressionTest")]
	980	public void TestNullFalse() {
[14733]	981	var prog = PushParser.Parse("A");
[14727]	982
[14908]	983	interpreter.CodeStack.Push(prog);
	984	interpreter.Run(new CodeNullExpression());
[14727]	985
[14908]	986	Assert.AreEqual(false, interpreter.BooleanStack.Top);
	987	TestStackCounts(booleanStack: 1);
[14727]	988	}
	989
	990	[TestMethod]
	991	[TestProperty("Time", "Short")]
	992	[TestCategory("ExpressionTest")]
	993	[TestCategory("CodeExpressionTest")]
	994	public void TestPosition() {
[14733]	995	var first = PushParser.Parse("( A B C D )");
	996	var second = PushParser.Parse("C");
[14727]	997
[14908]	998	interpreter.CodeStack.Push(second, first);
	999	interpreter.Run(new CodePositionExpression());
[14727]	1000
[14908]	1001	Assert.AreEqual(2, interpreter.IntegerStack.Top);
	1002	TestStackCounts(integerStack: 1);
[14727]	1003	}
	1004
	1005	[TestMethod]
	1006	[TestProperty("Time", "Short")]
	1007	[TestCategory("ExpressionTest")]
	1008	[TestCategory("CodeExpressionTest")]
	1009	public void TestQuote() {
[14733]	1010	var result = PushParser.Parse("A");
[14727]	1011
[14908]	1012	interpreter.Run("( CODE.QUOTE A )");
[14727]	1013
[14908]	1014	Assert.AreEqual(result, interpreter.CodeStack.Top);
	1015	CheckOtherStacksAreEmpty();
[14727]	1016	}
	1017
	1018	[TestMethod]
	1019	[TestProperty("Time", "Short")]
	1020	[TestCategory("ExpressionTest")]
	1021	[TestCategory("CodeExpressionTest")]
	1022	public void TestSize() {
[14733]	1023	var prog = PushParser.Parse("( A ( B ( C ) ) ( D ) INTEGER.+ )");
[14727]	1024
[14908]	1025	interpreter.CodeStack.Push(prog);
	1026	interpreter.Run(new CodeSizeExpression());
[14727]	1027
[14908]	1028	Assert.AreEqual(4, interpreter.IntegerStack.Top);
	1029	TestStackCounts(integerStack: 1);
[14727]	1030	}
	1031
	1032	[TestMethod]
	1033	[TestProperty("Time", "Short")]
	1034	[TestCategory("ExpressionTest")]
	1035	[TestCategory("CodeExpressionTest")]
	1036	public void TestSubstitude() {
[14733]	1037	var first = PushParser.Parse("( A B C D A B C D )");
	1038	var second = PushParser.Parse("E");
	1039	var third = PushParser.Parse("A");
	1040	var result = PushParser.Parse("( E B C D E B C D )");
[14727]	1041
[14908]	1042	interpreter.CodeStack.Push(third, second, first);
	1043	interpreter.Run(new CodeSubstitutionExpression());
[14727]	1044
[14908]	1045	Assert.AreEqual(result, interpreter.CodeStack.Top);
	1046	CheckOtherStacksAreEmpty();
[14727]	1047	}
	1048
	1049	protected override Expression[] GetValues(int count) {
	1050	var values = new Expression[count];
	1051
	1052	for (var i = 0; i < count; i++) values[i] = new CodeNoopExpression();
	1053
	1054	return values;
	1055	}
	1056
	1057	protected override Expression[] Get2Different() {
	1058	return new Expression[] { new CodeNoopExpression(), new CodeNullExpression() };
	1059	}
	1060
	1061	protected override void CheckOtherStacksAreEmpty() {
[14908]	1062	TestStackCounts(codeStack: null);
[14727]	1063	}
	1064	}
	1065	}

Note: See TracBrowser for help on using the repository browser.

Download in other formats:

Update cookies preferences