jml2b.formula
Class BasicType

java.lang.Object
  jml2b.formula.BasicType

public class BasicType

extends java.lang.Object

Type of formula, the type can be

• boolean
• integer
• reference
• proposition
• JML \TYPE
• function of two types.

Author:

L. Burdy

Field Summary

static int	BOOL
static BasicType	BoolType
static int	FUNC
static int	PROP
static BasicType	PropType
static int	REF
static BasicType	RefType
static int	TYPES
static BasicType	TypesType
static int	Z
static BasicType	ZType

Constructor Summary

BasicType(BasicType t1, BasicType t2)

BasicType(JpoInputStream s)

Method Summary

BasicType	getLtype()
BasicType	getRtype()
int	getTag()
void	save(IOutputStream s)

Methods inherited from class java.lang.Object

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

Field Detail

Z

public static final int Z

See Also:

Constant Field Values

REF

public static final int REF

See Also:

Constant Field Values

PROP

public static final int PROP

See Also:

Constant Field Values

BOOL

public static final int BOOL

See Also:

Constant Field Values

TYPES

public static final int TYPES

See Also:

Constant Field Values

FUNC

public static final int FUNC

See Also:

Constant Field Values

ZType

public static final BasicType ZType

RefType

public static final BasicType RefType

PropType

public static final BasicType PropType

BoolType

public static final BasicType BoolType

TypesType

public static final BasicType TypesType

Constructor Detail

BasicType

public BasicType(BasicType t1,
                 BasicType t2)

BasicType

public BasicType(JpoInputStream s)
          throws java.io.IOException

Method Detail

getRtype

public BasicType getRtype()

Returns:

getLtype

public BasicType getLtype()

Returns:

save

public void save(IOutputStream s)
          throws java.io.IOException

Throws:

java.io.IOException

getTag

public int getTag()

Returns: