edu.mit.csail.sdg.squander.spec.FrameInference Class Reference
[Specification]
Inherits forge::program::ExpressionVisitor< Void >.
Public Member Functions | |
| Set< GlobalVariable > | globals () |
Protected Member Functions | |
| Void | visit (ForgeType expr) |
| Void | visit (ForgeLiteral expr) |
| Void | visit (ForgeVariable expr) |
| Void | visit (UnaryExpression expr) |
| Void | visit (BinaryExpression expr) |
| Void | visit (ConditionalExpression expr) |
| Void | visit (ProjectionExpression expr) |
| Void | visit (QuantifyExpression expr) |
| Void | visit (OldExpression expr) |
Private Attributes | |
| Set< GlobalVariable > | globals = new HashSet<GlobalVariable>() |
Detailed Description
Definition at line 22 of file FrameInference.java.
Member Function Documentation
| Set<GlobalVariable> edu.mit.csail.sdg.squander.spec.FrameInference.globals | ( | ) |
Definition at line 26 of file FrameInference.java.
Referenced by edu.mit.csail.sdg.squander.spec.FrameInference.visit().
| Void edu.mit.csail.sdg.squander.spec.FrameInference.visit | ( | OldExpression | expr | ) | [protected] |
Definition at line 79 of file FrameInference.java.
| Void edu.mit.csail.sdg.squander.spec.FrameInference.visit | ( | QuantifyExpression | expr | ) | [protected] |
Definition at line 73 of file FrameInference.java.
| Void edu.mit.csail.sdg.squander.spec.FrameInference.visit | ( | ProjectionExpression | expr | ) | [protected] |
Definition at line 67 of file FrameInference.java.
| Void edu.mit.csail.sdg.squander.spec.FrameInference.visit | ( | ConditionalExpression | expr | ) | [protected] |
Definition at line 59 of file FrameInference.java.
| Void edu.mit.csail.sdg.squander.spec.FrameInference.visit | ( | BinaryExpression | expr | ) | [protected] |
Definition at line 52 of file FrameInference.java.
| Void edu.mit.csail.sdg.squander.spec.FrameInference.visit | ( | UnaryExpression | expr | ) | [protected] |
Definition at line 46 of file FrameInference.java.
| Void edu.mit.csail.sdg.squander.spec.FrameInference.visit | ( | ForgeVariable | expr | ) | [protected] |
Definition at line 39 of file FrameInference.java.
References edu.mit.csail.sdg.squander.spec.FrameInference.globals().
| Void edu.mit.csail.sdg.squander.spec.FrameInference.visit | ( | ForgeLiteral | expr | ) | [protected] |
Definition at line 34 of file FrameInference.java.
| Void edu.mit.csail.sdg.squander.spec.FrameInference.visit | ( | ForgeType | expr | ) | [protected] |
Definition at line 29 of file FrameInference.java.
Member Data Documentation
Set<GlobalVariable> edu.mit.csail.sdg.squander.spec.FrameInference.globals = new HashSet<GlobalVariable>() [private] |
Definition at line 24 of file FrameInference.java.
Referenced by edu.mit.csail.sdg.squander.spec.Frame.modifiable().
The documentation for this class was generated from the following file:
- src/edu/mit/csail/sdg/squander/spec/FrameInference.java
