source: CIVL/mods/dev.civl.com/examples/library/civlc/contains.cvl@ cb4d4f4

main test-branch
Last change on this file since cb4d4f4 was aad342c, checked in by Stephen Siegel <siegel@…>, 3 years ago

Performing huge refactor to incorporate ABC, GMC, and SARL into CIVL repo and use Java modules.

git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@5664 fb995dde-84ed-4084-dfe6-e5aef3e2452c

  • Property mode set to 100644
File size: 520 bytes
Line 
1#include <civlc.cvh>
2#include<pointer.cvh>
3
4typedef struct point{
5int x;
6int y;
7} point;
8
9void main(){
10 int a[5] = {[3]=4};
11 _Bool result;
12 point set[3];
13
14 result = $contains(&a, &a[2]);
15 $assert(result);
16 result = $contains(&a[2], &a[3]);
17 $assert(!result);
18 result = $contains(&a[2], &a[2]);
19 $assert(result);
20 for(int i = 0; i < 3; i++){
21 set[i].x = i;
22 set[i].y = i;
23 }
24 result = $contains(&set, &set[1].y);
25 $assert(result);
26 result = $contains(&set[1].x, &set[1].y);
27 $assert(!result);
28}
Note: See TracBrowser for help on using the repository browser.