Bugfix: export/ buil

git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24674 e3db86c2-31ce-0310-bca5-be3edd1b5589
change arguments of .build() and .construct()


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24677 e3db86c2-31ce-0310-bca5-be3edd1b5589
snapshot


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24678 e3db86c2-31ce-0310-bca5-be3edd1b5589
sync


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24679 e3db86c2-31ce-0310-bca5-be3edd1b5589
add PropertyCallback/ handle ObjectContract delayed



git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24680 e3db86c2-31ce-0310-bca5-be3edd1b5589
handle ObjectContract delayed



git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24681 e3db86c2-31ce-0310-bca5-be3edd1b5589
add PropertyCallback/ reorganize callbacks


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24682 e3db86c2-31ce-0310-bca5-be3edd1b5589
make Contract / C available in Sandbox 


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24683 e3db86c2-31ce-0310-bca5-be3edd1b5589
sync


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24686 e3db86c2-31ce-0310-bca5-be3edd1b5589
snapshot


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24687 e3db86c2-31ce-0310-bca5-be3edd1b5589
add examples


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24688 e3db86c2-31ce-0310-bca5-be3edd1b5589
add examples


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24689 e3db86c2-31ce-0310-bca5-be3edd1b5589
new error types


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24690 e3db86c2-31ce-0310-bca5-be3edd1b5589
snapshot

git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24691 e3db86c2-31ce-0310-bca5-be3edd1b5589
new four valued logic 


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24692 e3db86c2-31ce-0310-bca5-be3edd1b5589
new four valued logic


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24693 e3db86c2-31ce-0310-bca5-be3edd1b5589
use new implication for function callback


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24694 e3db86c2-31ce-0310-bca5-be3edd1b5589
new flag: quitOnError


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24695 e3db86c2-31ce-0310-bca5-be3edd1b5589
throw JavaScript Errors


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24696 e3db86c2-31ce-0310-bca5-be3edd1b5589
throw JavaScript Error


git-svn-id: https://proglang.informatik.uni-freiburg.de/svn/proglang/projects/jsproxy/branches/TreatJS@24697 e3db86c2-31ce-0310-bca5-be3edd1b5589