public class AugEvalFunction
extends Object
- Author:
- Zun Wang
-
Constructor Summary
Constructors
-
Method Summary
This method is used to evaluate the type of the given value which the given stmt and body
belongs to.
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Constructor Details
-
AugEvalFunction
public AugEvalFunction(View view)
-
Method Details
-
evaluate
This method is used to evaluate the type of the given value which the given stmt and body
belongs to.