Skip to content
Snippets Groups Projects
Select Git revision
  • b88ba88e1b27e6d1c8fd9dcf265379b72e2bb039
  • master default
  • labcomm2014
  • labcomm2006
  • python_sig_hash
  • typedefs
  • anders.blomdell
  • typeref
  • pragma
  • compiler-refactoring
  • labcomm2013
  • v2014.6
  • v2015.0
  • v2014.5
  • v2014.4
  • v2006.0
  • v2014.3
  • v2014.2
  • v2014.1
  • v2014.0
  • v2013.0
21 results

TypeCheck.jrag

Blame
  • static.sh 487 B
    #dummy script to test the static part
    
    # run labcomm compilation
    
    java -jar ../../compiler/labcomm_compiler.jar --java=gen --javapackage=gen simple.lc
    
    # compile example programs
    javac -cp .:gen:../../lib/java/labcomm.jar test/StaticEncoder.java
    javac -cp .:gen:../../lib/java/labcomm.jar test/StaticDecoder.java
    
    # run example programs
    java -cp .:gen:../../lib/java//labcomm.jar test.StaticEncoder encoded_data
    java -cp .:gen:../../lib/java//labcomm.jar test.StaticDecoder encoded_data