Esempio n. 1
0
 public override void visit(ref_type _ref_type)
 {
 }
Esempio n. 2
0
		public virtual void post_do_visit(ref_type _ref_type)
		{
		}
Esempio n. 3
0
 public virtual void visit(ref_type _ref_type)
 {
     DefaultVisit(_ref_type);
 }
Esempio n. 4
0
 public virtual void visit(ref_type _ref_type)
 {
 }
Esempio n. 5
0
		public override void visit(ref_type _ref_type)
		{
			DefaultVisit(_ref_type);
			pre_do_visit(_ref_type);
			visit(ref_type.pointed_to);
			post_do_visit(_ref_type);
		}
Esempio n. 6
0
 public override void visit(ref_type _ref_type)
 {
     AddPossibleComments(_ref_type, true, false);
     _ref_type.pointed_to.visit(this);
 }
Esempio n. 7
0
		public virtual void visit(ref_type _ref_type)
		{
		}
		public virtual void visit(ref_type _ref_type)
		{
			DefaultVisit(_ref_type);
		}
Esempio n. 9
0
 public override void visit(ref_type _ref_type)
 {
     prepare_node(_ref_type.pointed_to, "pointed to");
 }
Esempio n. 10
0
		public override void visit(ref_type _ref_type)
		{
			executer.visit(_ref_type);
			if (_ref_type.pointed_to != null)
				this.visit((dynamic)_ref_type.pointed_to);
			if (_ref_type.attr_list != null)
				this.visit((dynamic)_ref_type.attr_list);
			if (_ref_type.attributes != null)
				this.visit((dynamic)_ref_type.attributes);
		}