wytp.types.util

Class AbstractTypeExtractor.Signed

java.lang.Object

wytp.types.util.AbstractTypeExtractor.Signed

Enclosing class:

AbstractTypeExtractor<T extends WyalFile.Type>

protected static class AbstractTypeExtractor.Signed
extends Object

A signed type is simply a type which is either positive or negatively signed. For example, {int f} is a positively signed record, whilst !{int f} is negatively signed record.

Author:

David J. Pearce

Constructor Summary

Constructors

Constructor and Description
Signed(boolean sign, WyalFile.Type.Atom type)

Method Summary

Modifier and Type	Method and Description
boolean	getSign()
WyalFile.Type.Atom	getType()
AbstractTypeExtractor.Signed	negate()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Signed

public Signed(boolean sign,
              WyalFile.Type.Atom type)

Method Detail

getSign

public boolean getSign()

getType

public WyalFile.Type.Atom getType()

negate

public AbstractTypeExtractor.Signed negate()