VarInfoName.PostPreConverter

Object
- VarInfoName.AbstractVisitor<VarInfoName>
- - VarInfoName.Replacer
  - - PostPreConverter

All Implemented Interfaces:

VarInfoName.Visitor<VarInfoName>

Enclosing class:

VarInfoName
```
public static class VarInfoName.PostPreConverter
extends VarInfoName.Replacer
```
Replace pre states by normal variables, and normal variables by post states. We should do this for all variables except for variables derived from return. This piggybacks on replacer but the actual replacement is done elsewhere.

Constructor Summary

Constructors
Constructor Description

PostPreConverter()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`VarInfoName`	`visitPrestate(VarInfoName.Prestate o)`
`VarInfoName`	`visitSimple(VarInfoName.Simple o)`

Methods inherited from class VarInfoName.Replacer
replace, visitAdd, visitElements, visitField, visitFunctionOf, visitFunctionOfN, visitPoststate, visitSizeOf, visitSlice, visitSubscript, visitTypeOf

Methods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - PostPreConverter
```
public PostPreConverter()
```
- Method Detail
  - visitSimple
```
public VarInfoName visitSimple(VarInfoName.Simple o)
```
    Specified by:
    
    visitSimple in interface VarInfoName.Visitor<VarInfoName>
    
    Overrides:
    
    visitSimple in class VarInfoName.Replacer
  - visitPrestate
```
public VarInfoName visitPrestate(VarInfoName.Prestate o)
```
    Specified by:
    
    visitPrestate in interface VarInfoName.Visitor<VarInfoName>
    
    Overrides:
    
    visitPrestate in class VarInfoName.Replacer