Context Navigation

source: src/Tests/Expect-a/Scope.txt@ 7ff30d07

Visit:

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors ctor deferred_resn demangler enum forall-pointer-decay gc_noraii jacob/cs343-translation jenkins-sandbox memory new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new with_gc

Last change on this file since 7ff30d07 was b1d6dd5, checked in by Peter A. Buhr <pabuhr@…>, 10 years ago
fix parsing error for EOF message, change cfa-ccp -x flag to -v, regression testing third attempt: consolidate example programs
Property mode set to `100644`
File size: 4.3 KB

Rev	Line
[5f2f2d7]	1	x: signed int
	2	y: typedef for double
	3	t: typedef for float
	4	z: instance of type y (not function type)
[51b73452]	5	struct __anonymous0
	6	with members
[5f2f2d7]	7	a: signed int
	8	b: double
[51b73452]	9
[5f2f2d7]	10	u: type for instance of struct __anonymous0
	11	f: function
[51b73452]	12	with parameters
[5f2f2d7]	13	y: signed int
[51b73452]	14	returning
	15	signed int
	16
[5f2f2d7]	17	q: instance of type y (not function type)
	18	w: function
[51b73452]	19	with parameters
[5f2f2d7]	20	y: instance of type y (not function type)
	21	v: instance of type u (not function type)
[51b73452]	22	returning
[5f2f2d7]	23	instance of type y (not function type)
[51b73452]	24	with body
[5f2f2d7]	25	CompoundStmt
	26	Declaration of x: type
	27	with assertions
	28	t: function
	29	with parameters
	30	instance of type u (not function type)
	31	returning
	32	instance of type x (not function type)
	33
	34
	35	Declaration of u: instance of type u (not function type) with initializer
	36	Simple Initializer: Name: y
[51b73452]	37
[5f2f2d7]	38	Declaration of z: instance of type x (not function type) with initializer
	39	Simple Initializer: Applying untyped:
	40	Name: t
	41	...to:
	42	Name: u
[51b73452]	43
	44
[5f2f2d7]	45	p: instance of type y (not function type)
[51b73452]	46	context has_u
	47	with parameters
[5f2f2d7]	48	z: type
[51b73452]	49
	50	with members
[5f2f2d7]	51	u: function
[51b73452]	52	with parameters
[5f2f2d7]	53	instance of type z (not function type)
[51b73452]	54	returning
[5f2f2d7]	55	instance of type z (not function type)
[51b73452]	56
	57
[5f2f2d7]	58	q: forall
	59	t: type
[51b73452]	60	with assertions
[5f2f2d7]	61	?=?: function
	62	with parameters
	63	pointer to instance of type t (not function type)
	64	instance of type t (not function type)
	65	returning
	66	instance of type t (not function type)
	67
[51b73452]	68	instance of context has_u
	69	with parameters
[5f2f2d7]	70	instance of type t (not function type)
[51b73452]	71
	72
[5f2f2d7]	73	function
	74	with parameters
	75	the_t: instance of type t (not function type)
[51b73452]	76	returning
[5f2f2d7]	77	instance of type y (not function type)
[51b73452]	78	with body
[5f2f2d7]	79	CompoundStmt
	80	Declaration of y: instance of type t (not function type) with initializer
	81	Simple Initializer: Applying untyped:
	82	Name: u
	83	...to:
	84	Name: the_t
[51b73452]	85
[5f2f2d7]	86
	87	f: function
[51b73452]	88	with parameters
[5f2f2d7]	89	p: instance of type y (not function type)
[51b73452]	90	returning
[5f2f2d7]	91	instance of type t (not function type)
[51b73452]	92	with body
[5f2f2d7]	93	CompoundStmt
	94	Declaration of y: signed int
	95	Declaration of x: typedef for char
	96	CompoundStmt
	97	Declaration of y: instance of type x (not function type)
	98	Declaration of z: typedef for instance of type x (not function type)
	99	CompoundStmt
	100	Declaration of x: instance of type z (not function type)
	101	Declaration of y: typedef for instance of type z (not function type)
	102	Declaration of z: instance of type y (not function type) with initializer
	103	Simple Initializer: Name: x
	104
	105
	106	Declaration of x: instance of type z (not function type) with initializer
	107	Simple Initializer: Name: y
[51b73452]	108
	109
[5f2f2d7]	110	Declaration of q: instance of type x (not function type) with initializer
	111	Simple Initializer: Name: y
[51b73452]	112
[5f2f2d7]	113
	114	g: function
[51b73452]	115	with parameters
	116	void
	117	returning
[5f2f2d7]	118	instance of type t (not function type)
[51b73452]	119	with body
[5f2f2d7]	120	CompoundStmt
	121	Declaration of x: typedef for char
	122	Try Statement
	123	with block:
	124	CompoundStmt
	125	Expression Statement:
	126	Applying untyped:
	127	Name: some_func
	128	...to:
	129
	130	and handlers:
	131	Catch Statement
	132	... catching
	133	x: instance of type x (not function type)
	134
	135	Declaration of z: instance of type x (not function type)
	136
	137	q: function
	138	accepting unspecified arguments
[51b73452]	139	returning
[5f2f2d7]	140	instance of type y (not function type)
[51b73452]	141	with parameter names
	142	i
	143	with parameter declarations
[5f2f2d7]	144	i: signed int
[51b73452]	145	with body
[5f2f2d7]	146	CompoundStmt
	147	Switch on condition: Name: i
	148
	149	Case Name: 0
	150
	151	Return Statement, returning: Name: q
	152
	153	Default
	154	Return Statement, returning: Name: i
	155
[51b73452]	156
	157

Note: See TracBrowser for help on using the repository browser.

Download in other formats: