1 | /* Syntax: |
2 | |
3 | English sentence with dollar variables := |
4 | (Conditions) |
5 | |
6 | JavaX expression or block |
7 | */ |
8 | |
9 | the text contains the token $x (not ignoring case) := |
10 | ($x is a quoted string) |
11 | |
12 | containsJavaToken(the_text, $x) |
13 | |
14 | |
15 | the text contains the token $x (ignoring case) := |
16 | |
17 | containsJavaTokenIC(the_text, $x) |
18 | |
19 | |
20 | assume the variables are "X", "Y" and "Z" := |
21 | |
22 | assumeMapping(variables := litset("X", "Y", "Z"));
|
23 | |
24 | |
25 | $x is bigger than $y := |
26 | (when $x and $y are literal integers of any length) |
27 | |
28 | cmp(bigint($x), bigint($y)) > 0 |
Travelled to 7 computer(s): bhatertpkbcr, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tvejysmllsmz, vouqrxazstgt, xrpafgyirdlv
No comments. add comment
| Snippet ID: | #1026451 |
| Snippet name: | Common procedures (English statement -> JavaX) |
| Eternal ID of this version: | #1026451/10 |
| Text MD5: | c5c39adb5cce75fcc3edb8c5be9c04a4 |
| Author: | stefan |
| Category: | javax |
| Type: | Document |
| Public (visible to everyone): | Yes |
| Archived (hidden from active list): | No |
| Created/modified: | 2020-01-04 20:54:17 |
| Source code size: | 573 bytes / 28 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 391 / 127 |
| Version history: | 9 change(s) |
| Referenced in: | [show references] |