Uses of Interface
wyal.lang.WyalFile.Type.Primitive

Packages that use WyalFile.Type.Primitive

Package	Description
wyal.lang
wytp.types.util

Uses of WyalFile.Type.Primitive in wyal.lang

Classes in wyal.lang that implement WyalFile.Type.Primitive

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.Bool Represents the set of boolean values (i.e.
static class	WyalFile.Type.Byte Represents a sequence of 8 bits.
static class	WyalFile.Type.Int Represents the set of (unbound) integer values.
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.Void A void type represents the type whose variables cannot exist! That is, they cannot hold any possible value.

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

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

Modifier and Type	Method and Description
protected WyalFile.Type	AbstractTypeRewriter.rewritePrimitive(WyalFile.Type.Primitive type)
protected AbstractTypeExtractor.Disjunct	AbstractTypeExtractor.toDisjunctiveNormalForm(WyalFile.Type.Primitive type)