Kind

Overview

Package

Class

Use

Deprecated

Index

Home >> All >> mlsub >> typing >> [ lowlevel overview ]

PREV CLASS NEXT CLASS

SUMMARY:

JAVADOC |

Sourc code of mlsub.typing.lowlevel.Kind

SOURCE |

DOWNLOAD | NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

mlsub.typing.lowlevel
Interface Kind

All Known Implementing Classes:: Engine.Constraint

public interface Kind

Something that knows how to assert constraints on objects of this "Kind" (implemented by Variance, Low level constraints... )

Method Summary

mlsub.typing.Monotype freshMonotype()
          Return a fresh monotype of this kind, or null if that does not make sense.

void leq(Element e1, Element e2)
          Asserts that two elements are in a certain order

void leq(Element e1, Element e2, boolean initial)


void register(Element e)
          Introduce a new Element of this kind

Method Detail

leq

public void leq(Element e1,
                Element e2)
         throws Unsatisfiable

Asserts that two elements are in a certain order

leq

public void leq(Element e1,
                Element e2,
                boolean initial)
         throws Unsatisfiable

register

public void register(Element e)

Introduce a new Element of this kind

freshMonotype

public mlsub.typing.Monotype freshMonotype()

Return a fresh monotype of this kind, or null if that does not make sense. This makes a dependancy from mlsub.typing.lowlevel to mlsub.typing, but they are likely to be used together anyway.