public class StdTypeRewriter extends AbstractTypeRewriter
| Constructor and Description |
|---|
StdTypeRewriter() |
| Modifier and Type | Method and Description |
|---|---|
protected WyalFile.Type |
rewriteIntersection(WyalFile.Type.Intersection type) |
protected WyalFile.Type |
rewriteNegation(WyalFile.Type.Negation type) |
protected WyalFile.Type |
rewriteUnion(WyalFile.Type.Union type) |
rewrite, rewrite, rewrite, rewriteArray, rewriteFunction, rewriteInvariant, rewriteMacro, rewriteNominal, rewritePrimitive, rewriteRecord, rewriteReferenceprotected WyalFile.Type rewriteNegation(WyalFile.Type.Negation type)
rewriteNegation in class AbstractTypeRewriterprotected WyalFile.Type rewriteUnion(WyalFile.Type.Union type)
rewriteUnion in class AbstractTypeRewriterprotected WyalFile.Type rewriteIntersection(WyalFile.Type.Intersection type)
rewriteIntersection in class AbstractTypeRewriterCopyright © 2017. All rights reserved.