FaceBook/infer-InferPrint命令

如果想查看infer-out/specs下的文件，可以通过InferPrint命令

命令

InferPrint specs文件

比如我们查看infer-out/specs/Hello_hello.specs文件，可以执行如下命令:

InferPrint infer-out/specs/Hello_hello.specs
结果如下:

localhost:ios_hello wuxian$ InferPrint infer-out/specs/Hello_hello.specs
Procedure: Hello_hello
class Hello *Hello_hello(class Hello *self)
Timestamp: 1
Status: INACTIVE
Phase: RE_EXECUTION
Dependency_map: 
TIME:0.000931 s TIMEOUT:N SYMOPS:20 CALLS:0,0
ERRORS: 
--------------------------- 1 of 1 [nvisited: -1] ---------------------------
PRE:
self = val$1: ;
self|->{_hello:val$2}:
POST 1 of 1:
self = val$1: ; 
return = val$2: ;
self|->{_hello:return}:
----------------------------------------------------------------

信息

你能看懂上面的结果是什么意思?我愚钝，理解不了.等以后有时间好好了解.