Programming Languages Research Group: Git

author	yeom <yeom>
	Fri, 22 Apr 2011 01:08:26 +0000 (01:08 +0000)
committer	yeom <yeom>
	Fri, 22 Apr 2011 01:08:26 +0000 (01:08 +0000)
commit	3a53b44ad7d4e38376af04573dcfa7ddd596d96a
tree	78cd3d08fbd7f1d7c65b20b1370a36dd4bbb04ad	tree \| snapshot
parent	f3c29c50aa7dfb5240574bdc2e4d2121bdc9e6b8	commit \| diff

changes: make location an extension of type descriptor and have an additional mapping from Flatnode to labeled statement. Note that the labeled statement might be handled differently when Sonny implements continue/break with labels

Irvine Research Compiler

RSS Atom

Robust/src/Analysis/SSJava/CompositeLocation.java		diff \| blob \| history
Robust/src/Analysis/SSJava/DefinitelyWrittenCheck.java		diff \| blob \| history
Robust/src/Analysis/SSJava/FlowDownCheck.java		diff \| blob \| history
Robust/src/Analysis/SSJava/Location.java		diff \| blob \| history
Robust/src/Analysis/SSJava/SSJavaAnalysis.java		diff \| blob \| history
Robust/src/IR/Flat/BuildFlat.java		diff \| blob \| history
Robust/src/IR/State.java		diff \| blob \| history