print out a warning msg when we have a nondeterministic inlining.
authorYong hun eom <yeom@uci.edu>
Tue, 4 Jun 2013 21:28:03 +0000 (14:28 -0700)
committerYong hun eom <yeom@uci.edu>
Tue, 4 Jun 2013 21:28:03 +0000 (14:28 -0700)
commit1dd8fd76662d37a651f3c68782ed7103eb77beb2
tree251a5ed315675b86b5614b6c3bbb9897189660ef
parent15e12c52c54314d14b860b578c46251adb3e8625
print out a warning msg when we have a nondeterministic inlining.
Robust/src/Analysis/SSJava/LocationInference.java