| Package | Description |
|---|---|
| wytp.types | |
| wytp.types.subtyping |
| Modifier and Type | Method and Description |
|---|---|
SubtypeOperator.Result |
SubtypeOperator.isSubtype(WyalFile.Type lhs,
WyalFile.Type rhs)
Determine whether the
rhs type is a subtype of the
lhs (denoted lhs :> rhs). |
static SubtypeOperator.Result |
SubtypeOperator.Result.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static SubtypeOperator.Result[] |
SubtypeOperator.Result.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
| Modifier and Type | Method and Description |
|---|---|
SubtypeOperator.Result |
CoerciveSubtypeOperator.isSubtype(WyalFile.Type parent,
WyalFile.Type child) |
Copyright © 2017. All rights reserved.