wyil.lang

Class Type.Impl.PositiveAtom

java.lang.Object

wyil.lang.Type.Impl

wyil.lang.Type.Impl.Conjunctable

wyil.lang.Type.Impl.Atom

wyil.lang.Type.Impl.PositiveAtom

All Implemented Interfaces:

Comparable<Type.Impl>, Type

Direct Known Subclasses:

Type.Impl.Primitive

Enclosing class:

Type.Impl

public abstract static class Type.Impl.PositiveAtom
extends Type.Impl.Atom

A positive atom is any atom except a negation

Author:

David J. Pearce

Nested Class Summary

Nested classes/interfaces inherited from class wyil.lang.Type.Impl

Type.Impl.Atom, Type.Impl.Conjunctable, Type.Impl.Function, Type.Impl.FunctionOrMethod, Type.Impl.Method, Type.Impl.PositiveAtom, Type.Impl.Primitive, Type.Impl.Property

Nested classes/interfaces inherited from interface wyil.lang.Type

Type.EffectiveArray, Type.EffectiveRecord, Type.EffectiveReference, Type.Impl, Type.Intersection, Type.Leaf

Field Summary

Fields inherited from interface wyil.lang.Type

T_ANY, T_BOOL, T_BYTE, T_INT, T_META, T_NULL, T_VOID

Constructor Summary

Constructors

Constructor and Description
PositiveAtom()

Method Summary

Methods inherited from class wyil.lang.Type.Impl

getKind, intersectClosedClosedRecord, intersectOpenClosedRecord, intersectOpenOpenRecord

Methods inherited from class java.lang.Object

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

Methods inherited from interface wyil.lang.Type

Array, fromString, Function, Intersection, Method, Method, Method, Negation, Nominal, Property, Record, Record, Reference, toImplArrays, toImplOrVoid, toImplRecords, Union

Methods inherited from interface java.lang.Comparable

compareTo

Constructor Detail

PositiveAtom

public PositiveAtom()