heirarchy.rb

class TypeHierarchy

	@@types_inheritance = {};

	@@types_inheritance[:default1] = {}
	@@types_inheritance[:default1][:space ] = nil;
	@@types_inheritance[:default1][:quote ] = nil;
	@@types_inheritance[:default1][:regexp] = nil;
	@@types_inheritance[:default1][:id    ] = nil;
	@@types_inheritance[:default1][:spchar] = nil;
	@@types_inheritance[:default1][:int   ] = nil;
	@@types_inheritance[:default1][:punctuation] = :spchar;
	@@types_inheritance[:default1][:float      ] = :int   ;
	@@types_inheritance[:default1][:int        ] = :id    ;
	@@types_inheritance[:default1][:method     ] = :id    ;
	@@types_inheritance[:default1][:symbol     ] = :id    ;
	@@types_inheritance[:default1][:bracket    ] = :spchar;
	@@types_inheritance[:default1][:operator   ] = :spchar;
	@@types_inheritance[:default1].default = nil;

	@@types_inheritance[:default] = {}
	@@types_inheritance[:default][:space  ] = nil;
	@@types_inheritance[:default][:quote  ] = :id;
	@@types_inheritance[:default][:bracket] = :id;
	@@types_inheritance[:default][:id     ] = nil;

	@@types_inheritance[:default].default = nil;


	@@types_inheritance[:C99] = {}

	@@types_inheritance[:C99][:ptr      ] = :id ;
	@@types_inheritance[:C99][:delim    ] = :spchar   ;
	@@types_inheritance[:C99][:comma    ] = :spchar   ;
	@@types_inheritance[:C99][:dpoint   ] = :spchar   ;
	@@types_inheritance[:C99][:assigment] = :dcmp ;
	@@types_inheritance[:C99][:compare  ] = :dcmp ;
	@@types_inheritance[:C99][:logical  ] = :dcmp ;
	@@types_inheritance[:C99][:shift    ] = :dcmp ;
	@@types_inheritance[:C99][:dcmp     ] = :spchar   ;
	@@types_inheritance[:C99][:obracket ] = :bracket  ;
	@@types_inheritance[:C99][:cbracket ] = :bracket  ;
	@@types_inheritance[:C99][:bracket  ] = :spchar   ;
	@@types_inheritance[:C99][:postfix  ] = :spchar   ;
	@@types_inheritance[:C99][:increm   ] = :spchar   ;
	@@types_inheritance[:C99][:uoperator] = :boperator;
	@@types_inheritance[:C99][:boperator] = :operator ;
	@@types_inheritance[:C99][:operator ] = :spchar   ;
	@@types_inheritance[:C99].default     = nil       ;

	@@types_inheritance[:java] = {}

	@@types_inheritance[:java][:delim    ] = :spchar   ;
	@@types_inheritance[:java][:comma    ] = :spchar   ;
	@@types_inheritance[:java][:dpoint   ] = :spchar   ;
	@@types_inheritance[:java][:assigment] = :dcmp ;
	@@types_inheritance[:java][:compare  ] = :dcmp ;
	@@types_inheritance[:java][:logical  ] = :dcmp ;
	@@types_inheritance[:java][:shift    ] = :dcmp ;
	@@types_inheritance[:java][:dcmp     ] = :spchar   ;
	@@types_inheritance[:java][:obracket ] = :bracket  ;
	@@types_inheritance[:java][:cbracket ] = :bracket  ;
	@@types_inheritance[:java][:bracket  ] = :spchar   ;
	@@types_inheritance[:java][:postfix  ] = :spchar   ;
	@@types_inheritance[:java][:increm   ] = :spchar   ;
	@@types_inheritance[:java][:uoperator] = :boperator;
	@@types_inheritance[:java][:boperator] = :operator ;
	@@types_inheritance[:java][:operator ] = :spchar   ;
	@@types_inheritance[:java].default     = nil       ;


	def self.inheritance(type)
		return @@types_inheritance[type]
	end

	def self.get_parent(child, type)
		return @@types_inheritance[type][child]
	end

end

class Symbol
	def is_p_of?(sym, type)
		t = sym;
		while t != nil do
			return true if t == self;
			t = TypeHierarchy.inheritance(type)[t]
		end
		return false;
	end

	def is_h_of?(sym, type)
		t = self;
		while t != nil do
			return true if t == sym;
			t = TypeHierarchy.inheritance(type)[t]
		end
		return false;
	end
end