diff options
Diffstat (limited to 'tests/examplefiles/simple.camkes')
-rw-r--r-- | tests/examplefiles/simple.camkes | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/tests/examplefiles/simple.camkes b/tests/examplefiles/simple.camkes deleted file mode 100644 index 43e11732..00000000 --- a/tests/examplefiles/simple.camkes +++ /dev/null @@ -1,38 +0,0 @@ -/* - * Example input for CAmkES lexer. - */ - -import <std_connector.camkes>; - -// A single-line comment. - -import "components/Client/Client.camkes"; -import "components/Echo/Echo.camkes"; - -component Foo { - include "proc_defn.h"; - control; - dataport Buf my_port; -} - -#ifdef BAR_AVAILABLE - component Bar { - provides CharAccess ca; - } -#endif - - #define HASH_DEF_WITH_LEADING_SPACE - -assembly { /* Another multiline comment. */ - composition { - component Echo echo; - component Client client; - - connection seL4RPC simple(from client.s, to echo.s); - } - - configuration { - echo.dma_pool = 4096; - } -} - |