JML

java.awt.color
Class ColorSpace

java.lang.Object
  extended byjava.awt.color.ColorSpace
All Implemented Interfaces:
Serializable

public abstract class ColorSpace
extends Object
implements Serializable


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 CS_CIEXYZ
           
static int CS_GRAY
           
static int CS_LINEAR_RGB
           
static int CS_PYCC
           
static int CS_sRGB
           
private static ColorSpace GRAYspace
           
private static ColorSpace LINEAR_RGBspace
           
private  int numComponents
           
private static ColorSpace PYCCspace
           
(package private) static long serialVersionUID
           
private static ColorSpace sRGBspace
           
private  int type
           
static int TYPE_2CLR
           
static int TYPE_3CLR
           
static int TYPE_4CLR
           
static int TYPE_5CLR
           
static int TYPE_6CLR
           
static int TYPE_7CLR
           
static int TYPE_8CLR
           
static int TYPE_9CLR
           
static int TYPE_ACLR
           
static int TYPE_BCLR
           
static int TYPE_CCLR
           
static int TYPE_CMY
           
static int TYPE_CMYK
           
static int TYPE_DCLR
           
static int TYPE_ECLR
           
static int TYPE_FCLR
           
static int TYPE_GRAY
           
static int TYPE_HLS
           
static int TYPE_HSV
           
static int TYPE_Lab
           
static int TYPE_Luv
           
static int TYPE_RGB
           
static int TYPE_XYZ
           
static int TYPE_YCbCr
           
static int TYPE_Yxy
           
private static ColorSpace XYZspace
           
 
Constructor Summary
protected ColorSpace(int Param0, int Param1)
           
 
Model Method Summary
 
Model methods inherited from class java.lang.Object
hashValue
 
Method Summary
abstract  float[] fromCIEXYZ(non_null float[] Param0)
           
abstract  float[] fromRGB(non_null float[] Param0)
           
static ColorSpace getInstance(int Param0)
           
 float getMaxValue(int Param0)
           
 float getMinValue(int Param0)
           
 String getName(int Param0)
           
 int getNumComponents()
           
 int getType()
           
(package private) static boolean isCS_CIEXYZ(non_null ColorSpace Param0)
           
 boolean isCS_sRGB()
           
abstract  float[] toCIEXYZ(non_null float[] Param0)
           
abstract  float[] toRGB(non_null float[] Param0)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

TYPE_8CLR

public static final int TYPE_8CLR

TYPE_ACLR

public static final int TYPE_ACLR

sRGBspace

private static ColorSpace sRGBspace
Specifications: non_null

serialVersionUID

static final long serialVersionUID

CS_LINEAR_RGB

public static final int CS_LINEAR_RGB

TYPE_4CLR

public static final int TYPE_4CLR

TYPE_FCLR

public static final int TYPE_FCLR

TYPE_9CLR

public static final int TYPE_9CLR

PYCCspace

private static ColorSpace PYCCspace
Specifications: non_null

TYPE_BCLR

public static final int TYPE_BCLR

numComponents

private int numComponents

TYPE_HLS

public static final int TYPE_HLS

TYPE_YCbCr

public static final int TYPE_YCbCr

CS_sRGB

public static final int CS_sRGB

TYPE_5CLR

public static final int TYPE_5CLR

TYPE_CMYK

public static final int TYPE_CMYK

CS_PYCC

public static final int CS_PYCC

TYPE_GRAY

public static final int TYPE_GRAY

TYPE_RGB

public static final int TYPE_RGB

XYZspace

private static ColorSpace XYZspace
Specifications: non_null

TYPE_CCLR

public static final int TYPE_CCLR

CS_GRAY

public static final int CS_GRAY

TYPE_CMY

public static final int TYPE_CMY

CS_CIEXYZ

public static final int CS_CIEXYZ

TYPE_6CLR

public static final int TYPE_6CLR

TYPE_Luv

public static final int TYPE_Luv

TYPE_Lab

public static final int TYPE_Lab

TYPE_2CLR

public static final int TYPE_2CLR

TYPE_XYZ

public static final int TYPE_XYZ

TYPE_DCLR

public static final int TYPE_DCLR

type

private int type

TYPE_7CLR

public static final int TYPE_7CLR

TYPE_HSV

public static final int TYPE_HSV

TYPE_Yxy

public static final int TYPE_Yxy

TYPE_3CLR

public static final int TYPE_3CLR

LINEAR_RGBspace

private static ColorSpace LINEAR_RGBspace
Specifications: non_null

GRAYspace

private static ColorSpace GRAYspace
Specifications: non_null

TYPE_ECLR

public static final int TYPE_ECLR
Constructor Detail

ColorSpace

protected ColorSpace(int Param0,
                     int Param1)
Method Detail

getNumComponents

public int getNumComponents()

getType

public int getType()

isCS_sRGB

public boolean isCS_sRGB()

getMaxValue

public float getMaxValue(int Param0)

getMinValue

public float getMinValue(int Param0)

fromCIEXYZ

public abstract float[] fromCIEXYZ(non_null float[] Param0)
Specifications: non_null

fromRGB

public abstract float[] fromRGB(non_null float[] Param0)
Specifications: non_null

toCIEXYZ

public abstract float[] toCIEXYZ(non_null float[] Param0)
Specifications: non_null

toRGB

public abstract float[] toRGB(non_null float[] Param0)
Specifications: non_null

getInstance

public static ColorSpace getInstance(int Param0)
Specifications: non_null

isCS_CIEXYZ

static boolean isCS_CIEXYZ(non_null ColorSpace Param0)

getName

public String getName(int Param0)
Specifications: non_null

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.