Module Import alias Import alias Import alias Import alias Assign NameStore Str Assign NameStore Str Assign NameStore Str Assign NameStore Str ClassDef bases NameLoad body Pass decorator_list ClassDef bases NameLoad body Pass decorator_list FunctionDef arguments args NameParam defaults body Return Call AttributeLoad Call AttributeLoad Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad attr Str Str attr Str Str decorator_list FunctionDef arguments args NameParam defaults body Return Call AttributeLoad Call AttributeLoad NameLoad attr Str Str attr Str Str decorator_list FunctionDef arguments args NameParam defaults body If Call NameLoad NameLoad NameLoad body Assign NameStore Dict For NameStore Call AttributeLoad NameLoad attr body Assign SubscriptStore NameLoad Index NameLoad Call NameLoad SubscriptLoad NameLoad Index NameLoad Return NameLoad orelse If Call NameLoad NameLoad NameLoad body Assign NameStore ListLoad For NameStore NameLoad body Expr Call AttributeLoad NameLoad attr Call NameLoad NameLoad Return NameLoad orelse If Call NameLoad NameLoad NameLoad body Assign NameStore Call NameLoad Call NameLoad NameLoad TryExcept body Return Call NameLoad Call AttributeLoad NameLoad attr NameLoad handlers ExceptHandler body Return NameLoad orelse Return NameLoad decorator_list FunctionDef arguments args NameParam defaults body Return Call NameLoad Call AttributeLoad NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam defaults body Return Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad decorator_list FunctionDef arguments args NameParam defaults body Assign NameStore Dict For NameStore Call AttributeLoad NameLoad attr body If Call NameLoad SubscriptLoad NameLoad Index NameLoad NameLoad body Assign SubscriptStore NameLoad Index NameLoad Call NameLoad SubscriptLoad NameLoad Index NameLoad orelse Assign SubscriptStore NameLoad Index NameLoad SubscriptLoad NameLoad Index NameLoad Return NameLoad decorator_list FunctionDef arguments args NameParam defaults body Return Call AttributeLoad NameLoad attr Call NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam NameParam NameParam NameParam defaults NameLoad NameLoad NameLoad NameLoad body Assign NameStore Dict Str Str Str Str Str Str NameLoad NameLoad NameLoad NameLoad NameLoad Str Assign NameStore Call AttributeLoad NameLoad attr Expr Call AttributeLoad NameLoad attr Call AttributeLoad Str attr NameLoad NameLoad Expr Call AttributeLoad NameLoad attr Call NameLoad NameLoad Expr Call AttributeLoad NameLoad attr Return NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam NameParam NameParam defaults NameLoad NameLoad NameLoad NameLoad body Assign NameStore Call NameLoad Str NameLoad NameLoad NameLoad NameLoad NameLoad NameLoad Assign NameStore Call NameLoad Call AttributeLoad NameLoad attr If CompareNotEq SubscriptLoad NameLoad Index Str Str body TryExcept body Raise Call NameLoad SubscriptLoad SubscriptLoad SubscriptLoad NameLoad Index Str Index Num Index Str handlers ExceptHandler type NameLoad body Raise Call NameLoad SubscriptLoad SubscriptLoad SubscriptLoad NameLoad Index Str Index Num Index Str With Call AttributeLoad AttributeLoad NameLoad attr attr Call AttributeLoad Str attr NameLoad SubscriptLoad SubscriptLoad NameLoad Index Str Index Str SubscriptLoad SubscriptLoad NameLoad Index Str Index Str NameStore body Assign NameStore Call AttributeLoad NameLoad attr Return NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam NameParam NameParam defaults NameLoad NameLoad NameLoad NameLoad body Assign NameStore Call NameLoad Str NameLoad NameLoad NameLoad NameLoad NameLoad NameLoad Assign NameStore Call NameLoad Call AttributeLoad NameLoad attr If CompareNotEq SubscriptLoad NameLoad Index Str Str body TryExcept body Raise Call NameLoad SubscriptLoad SubscriptLoad SubscriptLoad NameLoad Index Str Index Num Index Str handlers ExceptHandler type NameLoad body Raise Call NameLoad SubscriptLoad SubscriptLoad SubscriptLoad NameLoad Index Str Index Num Index Str Return SubscriptLoad NameLoad Index Str decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam NameParam NameParam defaults NameLoad NameLoad NameLoad NameLoad body Assign NameStore Call NameLoad Str NameLoad NameLoad NameLoad NameLoad NameLoad NameLoad Assign NameStore Call NameLoad Call AttributeLoad NameLoad attr While CompareEq SubscriptLoad NameLoad Index Str Str body If CompareIn Str SubscriptLoad SubscriptLoad NameLoad Index Str Index Str body Assign NameStore Num orelse If CompareIn Str SubscriptLoad SubscriptLoad NameLoad Index Str Index Str body Assign NameStore Num orelse If CompareIn Str SubscriptLoad SubscriptLoad NameLoad Index Str Index Str body Assign NameStore Num orelse Assign NameStore Num Expr Yield Dict Str Str SubscriptLoad SubscriptLoad NameLoad Index Str Index Str NameLoad Assign NameStore Call NameLoad Call AttributeLoad NameLoad attr If CompareNotEq SubscriptLoad NameLoad Index Str Str body TryExcept body Raise Call NameLoad SubscriptLoad SubscriptLoad SubscriptLoad NameLoad Index Str Index Num Index Str handlers ExceptHandler type NameLoad body Raise Call NameLoad SubscriptLoad SubscriptLoad SubscriptLoad NameLoad Index Str Index Num Index Str decorator_list If CompareEq NameLoad Str body Import alias Import alias Import alias ImportFrom alias alias Assign NameStore Call NameLoad keyword Str Expr Call AttributeLoad NameLoad attr Str Str keyword NameLoad keyword Str keyword Str Expr Call AttributeLoad NameLoad attr Str Str keyword NameLoad keyword Str keyword Str Expr Call AttributeLoad NameLoad attr Str Str keyword NameLoad keyword Str keyword Str Expr Call AttributeLoad NameLoad attr Str Str keyword NameLoad keyword Str keyword Str Expr Call AttributeLoad NameLoad attr Str Str keyword AttributeLoad NameLoad attr keyword Call NameLoad Str keyword Str keyword Str Expr Call AttributeLoad NameLoad attr Str keyword ListLoad Str Str Str keyword Str Expr Call AttributeLoad NameLoad attr Str keyword Call NameLoad Str keyword Str Assign NameStore Call AttributeLoad NameLoad attr FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad Call AttributeLoad NameLoad attr Call AttributeLoad AttributeLoad NameLoad attr attr Str attr NameLoad decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad AttributeLoad NameLoad attr attr Call AttributeLoad NameLoad attr NameLoad Expr Call AttributeLoad AttributeLoad NameLoad attr attr Str decorator_list FunctionDef arguments args NameParam defaults body For NameStore NameLoad body Expr Call AttributeLoad AttributeLoad NameLoad attr attr Call AttributeLoad NameLoad attr NameLoad Expr Call AttributeLoad AttributeLoad NameLoad attr attr Str Expr Call AttributeLoad AttributeLoad NameLoad attr attr decorator_list If CompareEq AttributeLoad NameLoad attr Str body Assign NameStore NameLoad Assign NameStore NameLoad orelse If CompareEq AttributeLoad NameLoad attr Str body Assign NameStore NameLoad Assign NameStore NameLoad orelse If CompareEq AttributeLoad NameLoad attr Str body Assign NameStore NameLoad Assign NameStore NameLoad TryExcept body Expr Call NameLoad Call NameLoad SubscriptLoad Call AttributeLoad AttributeLoad NameLoad attr attr Call AttributeLoad AttributeLoad NameLoad attr attr AttributeLoad AttributeLoad NameLoad attr attr Index Num Call AttributeLoad AttributeLoad NameLoad attr attr AttributeLoad NameLoad attr AttributeLoad NameLoad attr AttributeLoad NameLoad attr AttributeLoad NameLoad attr handlers ExceptHandler type NameLoad name NameStore body Print Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr Expr Call AttributeLoad NameLoad attr Num
N/A N/A json N/A urllib.parse N/A urllib.request N/A websocket N/A endpoint resolve.cs.clemson.edu/teaching N/A package Default_Package N/A project Default_Project N/A parent undefined ResolveAPIError N/A RuntimeError N/A N/A N/A ResolveCompilerError N/A RuntimeError N/A N/A N/A decode_url N/A N/A string N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A urllib parse unquote string replace %20 replace %2B + N/A decode_xml N/A N/A string N/A N/A N/A N/A N/A N/A N/A string replace <vcFile> replace </vcFile> N/A decode_json N/A N/A payload N/A N/A N/A N/A isinstance payload dict N/A N/A decoded N/A N/A key N/A N/A payload keys N/A N/A N/A decoded N/A key N/A decode_json N/A payload N/A key N/A decoded N/A N/A N/A isinstance payload list N/A N/A decoded N/A N/A element payload N/A N/A N/A N/A decoded append N/A decode_json element N/A decoded N/A N/A N/A isinstance payload str N/A N/A element N/A decode_xml N/A decode_url payload N/A N/A N/A N/A decode_json N/A N/A json loads element N/A N/A N/A N/A element N/A N/A payload N/A decode N/A N/A payload N/A N/A N/A N/A decode_json N/A N/A json loads payload N/A encode_url N/A N/A string N/A N/A N/A N/A N/A N/A urllib parse quote string N/A encode_json N/A N/A payload N/A N/A N/A encoded N/A N/A key N/A N/A payload keys N/A N/A N/A isinstance N/A payload N/A key str N/A N/A N/A encoded N/A key N/A encode_url N/A payload N/A key N/A N/A N/A encoded N/A key N/A payload N/A key N/A encoded N/A encode N/A N/A payload N/A N/A N/A N/A N/A json dumps N/A encode_json payload N/A request N/A N/A job name content package project parent endpoint N/A package project parent endpoint N/A N/A job_data N/A name pkg project content parent type name package project content parent f N/A sock N/A N/A websocket WebSocket N/A N/A N/A sock connect N/A N/A wss://{}/Compiler?job={} format endpoint job N/A N/A N/A sock send N/A encode job_data N/A N/A N/A sock recv N/A sock N/A compile N/A N/A name content package project parent endpoint N/A package project parent endpoint N/A N/A sock N/A request buildJar name content package project parent endpoint N/A resp N/A decode N/A N/A sock recv N/A N/A N/A resp N/A status complete N/A N/A N/A N/A N/A ResolveCompilerError N/A N/A N/A resp N/A errors N/A 0 N/A errors N/A N/A N/A KeyError N/A N/A N/A ResolveAPIError N/A N/A N/A resp N/A bugs N/A 0 N/A bugs N/A N/A N/A N/A urllib request urlopen N/A N/A https://{}/download?job=download&name={}&dir={} format endpoint N/A N/A resp N/A result N/A jarName N/A N/A resp N/A result N/A downloadDir response N/A N/A jar N/A N/A response read N/A jar N/A genvcs N/A N/A name content package project parent endpoint N/A package project parent endpoint N/A N/A sock N/A request genVCs name content package project parent endpoint N/A resp N/A decode N/A N/A sock recv N/A N/A N/A resp N/A status complete N/A N/A N/A N/A N/A ResolveCompilerError N/A N/A N/A resp N/A errors N/A 0 N/A errors N/A N/A N/A KeyError N/A N/A N/A ResolveAPIError N/A N/A N/A resp N/A bugs N/A 0 N/A bugs N/A N/A resp N/A result N/A verify N/A N/A name content package project parent endpoint N/A package project parent endpoint N/A N/A sock N/A request verify2 name content package project parent endpoint N/A resp N/A decode N/A N/A sock recv N/A N/A N/A resp N/A status processing N/A N/A N/A Proved N/A N/A resp N/A result N/A result N/A N/A result 0 N/A N/A N/A Timeout N/A N/A resp N/A result N/A result N/A N/A result 1 N/A N/A N/A Skipped N/A N/A resp N/A result N/A result N/A N/A result 2 N/A N/A result 3 N/A N/A N/A id result N/A N/A resp N/A result N/A id result N/A resp N/A decode N/A N/A sock recv N/A N/A N/A resp N/A status complete N/A N/A N/A N/A N/A ResolveCompilerError N/A N/A N/A resp N/A errors N/A 0 N/A errors N/A N/A N/A KeyError N/A N/A N/A ResolveAPIError N/A N/A N/A resp N/A bugs N/A 0 N/A bugs N/A N/A N/A __name__ __main__ N/A N/A os N/A os.path N/A sys argparse ArgumentParser FileType N/A parser N/A ArgumentParser description call resolve web api to compile, generate VCs, and verify resolve programs N/A N/A N/A parser add_argument -a --api default endpoint dest endpoint help endpoint for resolve web api N/A N/A N/A parser add_argument -k --package default package dest package help package the file is in N/A N/A N/A parser add_argument -p --project default project dest project help project the file is in N/A N/A N/A parser add_argument -r --parent default parent dest parent help parent to the file N/A N/A N/A parser add_argument -o --output default N/A sys stdout type N/A FileType w dest output help output file (writes to stdout if omitted) N/A N/A N/A parser add_argument command choices N/A compile genvcs verify help api command N/A N/A N/A parser add_argument file type N/A FileType r help resolve file N/A args N/A N/A parser parse_args binary_write N/A N/A data N/A N/A N/A N/A N/A N/A N/A os fdopen N/A N/A N/A args output fileno wb write data N/A json_write N/A N/A obj N/A N/A N/A N/A N/A N/A args output write N/A N/A json dumps obj N/A N/A N/A N/A args output write N/A iter_write N/A N/A objs N/A N/A N/A obj objs N/A N/A N/A N/A N/A args output write N/A N/A json dumps obj N/A N/A N/A N/A args output write N/A N/A N/A N/A args output flush N/A N/A N/A N/A args command compile N/A N/A command compile N/A output binary_write N/A N/A N/A N/A args command genvcs N/A N/A command genvcs N/A output json_write N/A N/A N/A N/A args command verify N/A N/A command verify N/A output iter_write N/A N/A N/A N/A output N/A command N/A N/A N/A N/A os path splitext N/A N/A N/A os path basename N/A N/A args file name N/A 0 N/A N/A N/A args file read N/A args package N/A args project N/A args parent N/A args endpoint N/A N/A N/A ResolveAPIError N/A error N/A N/A N/A N/A json dumps N/A error args N/A N/A N/A sys exit 1