scale.score.dependence.omega.omegaLib
Class GlobalVarDecl

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

Direct Known Subclasses:

CoefVarDecl, FreeVarDecl

public class GlobalVarDecl
extends java.lang.Object

GlobalVarDecl.

$Id: GlobalVarDecl.java,v 1.7 2005-02-07 21:28:40 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

GlobalVarDecl is an ADT with the following operations:

• create global variable,
• find the arity of the variable, (default = 0, for symbolic consts)
• get the name of global variable,
• tell if two variables are the same (if they are the same object)

Field Summary

static int	COEF_VAR
static int	FREE_VAR
int	id

Constructor Summary

GlobalVarDecl(java.lang.String baseName)

Method Summary

int	arity()
static int	created()
java.lang.String	getBaseName()
int	getInstance()
VarDecl	getLocal()
VarDecl	getLocal(int of)
int	kind()
CoefVarDecl	reallyCoefVar()
void	setBaseName(java.lang.String newName)
void	setInstance(int instance)

Methods inherited from class java.lang.Object

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

Field Detail

FREE_VAR

public static final int FREE_VAR

See Also:

Constant Field Values

COEF_VAR

public static final int COEF_VAR

See Also:

Constant Field Values

id

public int id

Constructor Detail

GlobalVarDecl

public GlobalVarDecl(java.lang.String baseName)

Method Detail

created

public static int created()

setInstance

public void setInstance(int instance)

getInstance

public int getInstance()

getBaseName

public java.lang.String getBaseName()

setBaseName

public void setBaseName(java.lang.String newName)

arity

public int arity()

reallyCoefVar

public CoefVarDecl reallyCoefVar()

kind

public int kind()

getLocal

public VarDecl getLocal()

getLocal

public VarDecl getLocal(int of)