Class StructRefFlattenerAbstract
 Constructors
 Methods
decompose
- decompose(leftRef, rightRef, fieldDecls, isLeft): Statement[]
 
Protected AbstractdecomposeField
- decomposeField(leftRef, rightRef, fieldDecl, lhsVarName, rhsVarName, isLeft): Statement[]
 Parameters
- leftRef: Varref
 - rightRef: Varref
 - fieldDecl: Vardecl
 - lhsVarName: string
 - rhsVarName: string
 - isLeft: boolean
 
Abstractvalidate
- validate(leftRef, rightRef): boolean
 Returns boolean