コード例 #1
0
ファイル: explicit.h.py プロジェクト: marcovc/casper

import util
		
print "/* THIS FILE WAS AUTOGENERATED FROM explicit_ref.h.py */"
print "#include <casper/kernel/spexpr/expr_wrapper.h>"
print "namespace Casper {"
util.printRel(True)
print "namespace Detail {"
util.printRef(True)
util.printGoal(True)
util.printExprWrapper(True)

print "}"
print "}"
コード例 #2
0
ファイル: explicit.cpp.py プロジェクト: marcovc/casper

import util
		
print "/* THIS FILE WAS AUTOGENERATED FROM explicit_ref.cpp.py */"
print "#include <casper/kernel/spexpr/expr_wrapper.h>"
print "namespace Casper {"
util.printRel(False)
print "namespace Detail {"
util.printRef(False)
util.printGoal(False)
util.printExprWrapper(False)
print "}"
#util.printExpr(False)
print "}"