Python printGoal示例

示例#1

文件： 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

文件： 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 "}"