java.sql
Class Types

java.lang.Object
  java.sql.Types

public class Types

extends Object

JML's specification of Types.

Class Specifications

Specifications inherited from class Object

represents objectState <- org.jmlspecs.lang.JMLDataGroup.IT; public represents _getClass <- \typeof(this);

Model Field Summary

 

Model fields inherited from class java.lang.Object

_getClass, objectState, theString

 

Ghost Field Summary

 

Ghost fields inherited from class java.lang.Object

objectTimesFinalized, owner

 

Field Summary
static int	ARRAY
static int	BIGINT
static int	BINARY
static int	BIT
static int	BLOB
static int	BOOLEAN
static int	CHAR
static int	CLOB
static int	DATALINK
static int	DATE
static int	DECIMAL
static int	DISTINCT
static int	DOUBLE
static int	FLOAT
static int	INTEGER
static int	JAVA_OBJECT
static int	LONGVARBINARY
static int	LONGVARCHAR
static int	NULL
static int	NUMERIC
static int	OTHER
static int	REAL
static int	REF
static int	SMALLINT
static int	STRUCT
static int	TIME
static int	TIMESTAMP
static int	TINYINT
static int	VARBINARY
static int	VARCHAR

 

Constructor Summary

Types()

 

Model Method Summary

 

Model methods inherited from class java.lang.Object

hashValue

 

Method Summary

 

Methods inherited from class java.lang.Object

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

 

Field Detail

LONGVARCHAR

public static final int LONGVARCHAR

ARRAY

public static final int ARRAY

BINARY

public static final int BINARY

JAVA_OBJECT

public static final int JAVA_OBJECT

TIMESTAMP

public static final int TIMESTAMP

BOOLEAN

public static final int BOOLEAN

FLOAT

public static final int FLOAT

BIGINT

public static final int BIGINT

BIT

public static final int BIT

STRUCT

public static final int STRUCT

OTHER

public static final int OTHER

CHAR

public static final int CHAR

INTEGER

public static final int INTEGER

DECIMAL

public static final int DECIMAL

DISTINCT

public static final int DISTINCT

NULL

public static final int NULL

REAL

public static final int REAL

TINYINT

public static final int TINYINT

DATALINK

public static final int DATALINK

VARBINARY

public static final int VARBINARY

VARCHAR

public static final int VARCHAR

REF

public static final int REF

LONGVARBINARY

public static final int LONGVARBINARY

TIME

public static final int TIME

DATE

public static final int DATE

DOUBLE

public static final int DOUBLE

CLOB

public static final int CLOB

BLOB

public static final int BLOB

NUMERIC

public static final int NUMERIC

SMALLINT

public static final int SMALLINT

Types

public Types()