scale.score.dependence.omega.omegaLib
Class CName

java.lang.Object
  scale.score.dependence.omega.omegaLib.CName

public final class CName
extends java.lang.Object

CName.

$Id: CName.java,v 1.4 2005-02-07 21:28:38 burrill Exp $

Copyright 2005 by the Scale Compiler Group,
Department of Computer Science
University of Massachusetts,
Amherst MA. 01003, USA
All Rights Reserved.

This version of the Omega Libray is a translation from C++ to Java of the Omega Library developed at the University of Maryland.

Copyright (C) 1994-1996 by the Omega Project

All rights reserved.

NOTICE: This software is provided ``as is'', without any warranty, including any implied warranty for merchantability or fitness for a particular purpose. Under no circumstances shall the Omega Project or its agents be liable for any use of, misuse of, or inability to use this software, including incidental and consequential damages.

License is hereby given to use, modify, and redistribute this software, in whole or in part, for any purpose, commercial or non-commercial, provided that the user agrees to the terms of this copyright notice, including disclaimer of warranty, and provided that this copyright notice, including disclaimer of warranty, is preserved in the source code and documentation of anything derived from this software. Any redistributor of this software or anything derived from this software assumes responsibility for ensuring that any parties to whom such a redistribution is made are fully aware of the terms of this license and disclaimer.

The Omega project can be contacted at omega@cs.umd.edu or http://www.cs.umd.edu/projects/omega

Constructor Summary

CName(java.lang.String name)

Method Summary

int	decrement()
int	getCount()
int	increment()
java.lang.String	name()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

CName

public CName(java.lang.String name)

Method Detail

name

public java.lang.String name()

getCount

public int getCount()

increment

public int increment()

decrement

public int decrement()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object