Drawing Commands Logic [dev.] [1007454]

< > BotCompany Repo | #1007454 // Drawing Commands Logic [dev.]

JavaX source code [tags: use-pretranspiled] - run with: x30.jar

!7

sclass Logic {
  new L<S> assumptions;
  new L<Lisp> parsedAssumptions;
  
  void assume(S s) {
    assumptions.add(s);
    parsedAssumptions.add(assertNotNull(clParse(s)));
  }
  
  void verifyCalculator(S concept, O calc) {
    for (Lisp a : parsedAssumptions)
      if (a.headIs(concept))
        print("Checking " + a);
  }
}

p-type {
  new Logic l;
  l.assume("iwuamaiejhsykake 'vjyukwvgqzhfcxme HELLO' 1");
  l.assume("iwuamaiejhsykake 'vjyukwvgqzhfcxme HELLO, vjyukwvgqzhfcxme WORLD' 2");
  psl(l.parsedAssumptions);
  l.verifyCalculator("iwuamaiejhsykake", func(S s) { l(tokSplitAtComma(s)) });
}

Travelled to 13 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, cfunsshuasjs, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt

Snippet ID:

#1007454

Snippet name:

Drawing Commands Logic [dev.]

Eternal ID of this version:

#1007454/9

Text MD5:

0d29c9c7dcb5516b5d44a962cfdbf67d

Transpilation MD5:

eff6a64092c3ded45905d635c750cd35

Author:

stefan

Category:

javax / a.i.

Type:

JavaX source code

Public (visible to everyone):

Yes

Archived (hidden from active list):

Created/modified:

2017-03-23 22:28:23

Source code size:

633 bytes / 25 lines

Pitched / IR pitched:

No / No

Views / Downloads:

759 / 934

Version history:

8 change(s)

Referenced in:

[show references]

1	!7
2
3	sclass Logic {
4	new L<S> assumptions;
5	new L<Lisp> parsedAssumptions;
6
7	void assume(S s) {
8	assumptions.add(s);
9	parsedAssumptions.add(assertNotNull(clParse(s)));
10	}
11
12	void verifyCalculator(S concept, O calc) {
13	for (Lisp a : parsedAssumptions)
14	if (a.headIs(concept))
15	print("Checking " + a);
16	}
17	}
18
19	p-type {
20	new Logic l;
21	l.assume("iwuamaiejhsykake 'vjyukwvgqzhfcxme HELLO' 1");
22	l.assume("iwuamaiejhsykake 'vjyukwvgqzhfcxme HELLO, vjyukwvgqzhfcxme WORLD' 2");
23	psl(l.parsedAssumptions);
24	l.verifyCalculator("iwuamaiejhsykake", func(S s) { l(tokSplitAtComma(s)) });
25	}