Uses of Class
wyal.lang.WyalFile.Type.Atom

Packages that use WyalFile.Type.Atom

Package	Description
wyal.lang
wytp.types.extractors
wytp.types.subtyping
wytp.types.util

Uses of WyalFile.Type.Atom in wyal.lang

Subclasses of WyalFile.Type.Atom in wyal.lang

Modifier and Type	Class and Description
static class	WyalFile.Type.Any The type any represents the type whose variables may hold any possible value.
static class	WyalFile.Type.Array Represents a list type, which is of the form:
static class	WyalFile.Type.Bool Represents the set of boolean values (i.e.
static class	WyalFile.Type.Byte Represents a sequence of 8 bits.
static class	WyalFile.Type.Function
static class	WyalFile.Type.FunctionOrMacroOrInvariant
static class	WyalFile.Type.FunctionOrMethodOrProperty
static class	WyalFile.Type.Int Represents the set of (unbound) integer values.
static class	WyalFile.Type.Invariant
static class	WyalFile.Type.Method
static class	WyalFile.Type.Null The null type is a special type which should be used to show the absence of something.
static class	WyalFile.Type.Property
static class	WyalFile.Type.Record Represents record type, which is of the form:
static class	WyalFile.Type.Reference Parse a reference type, which is of the form:
static class	WyalFile.Type.Void A void type represents the type whose variables cannot exist! That is, they cannot hold any possible value.

Uses of WyalFile.Type.Atom in wytp.types.extractors

Methods in wytp.types.extractors with parameters of type WyalFile.Type.Atom

Modifier and Type	Method and Description
protected WyalFile.Type.Reference	ReadableReferenceExtractor.construct(WyalFile.Type.Atom type)
protected WyalFile.Type.Record	ReadableRecordExtractor.construct(WyalFile.Type.Atom type)
protected WyalFile.Type.Array	ReadableArrayExtractor.construct(WyalFile.Type.Atom type)

Uses of WyalFile.Type.Atom in wytp.types.subtyping

Classes in wytp.types.subtyping with type parameters of type WyalFile.Type.Atom

Modifier and Type	Class and Description
protected static class	CoerciveSubtypeOperator.Atom<T extends WyalFile.Type.Atom>

Uses of WyalFile.Type.Atom in wytp.types.util

Methods in wytp.types.util that return WyalFile.Type.Atom

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

Methods in wytp.types.util with parameters of type WyalFile.Type.Atom

Modifier and Type	Method and Description
protected abstract T	AbstractTypeExtractor.construct(WyalFile.Type.Atom type)

Constructors in wytp.types.util with parameters of type WyalFile.Type.Atom

Constructor and Description
Conjunct(WyalFile.Type.Atom positive)
Conjunct(WyalFile.Type.Atom[] positives, WyalFile.Type.Atom[] negatives)
Conjunct(WyalFile.Type.Atom[] positives, WyalFile.Type.Atom[] negatives)
Disjunct(WyalFile.Type.Atom atom)
Signed(boolean sign, WyalFile.Type.Atom type)