nl.cwi.sen1.relationstores.types.area
Class Area

java.lang.Object
  aterm.pure.ATermVisitableImpl
      aterm.pure.ATermImpl
          aterm.pure.ATermApplImpl
              nl.cwi.sen1.relationstores.AbstractType
                  nl.cwi.sen1.relationstores.types.Area
                      nl.cwi.sen1.relationstores.types.area.Area

All Implemented Interfaces:

aterm.ATerm, aterm.ATermAppl, aterm.Identifiable, jjtraveler.Visitable, shared.SharedObject, shared.SharedObjectWithID

public class Area
extends Area

Field Summary

private static int	index_beginColumn
private static int	index_beginLine
private static int	index_endColumn
private static int	index_endLine
private static int	index_length
private static int	index_offset

Fields inherited from class nl.cwi.sen1.relationstores.AbstractType

term

Fields inherited from class aterm.pure.ATermImpl

factory

Fields inherited from interface aterm.ATerm

AFUN, APPL, BLOB, INT, LIST, LONG, PLACEHOLDER, REAL

Constructor Summary

Area(Factory factory, aterm.ATermList annos, aterm.AFun fun, aterm.ATerm[] args)

Method Summary

shared.SharedObject	duplicate()
boolean	equivalent(shared.SharedObject peer)
int	getBeginColumn()
int	getBeginLine()
int	getEndColumn()
int	getEndLine()
int	getLength()
int	getOffset()
boolean	hasBeginColumn()
boolean	hasBeginLine()
boolean	hasEndColumn()
boolean	hasEndLine()
boolean	hasLength()
boolean	hasOffset()
boolean	isArea()
protected aterm.ATermAppl	make(aterm.AFun fun, aterm.ATerm[] args, aterm.ATermList annos)
aterm.ATermAppl	setArgument(aterm.ATerm arg, int i)
Area	setBeginColumn(int _beginColumn)
Area	setBeginLine(int _beginLine)
Area	setEndColumn(int _endColumn)
Area	setEndLine(int _endLine)
Area	setLength(int _length)
Area	setOffset(int _offset)
aterm.ATerm	toTerm()

Methods inherited from class nl.cwi.sen1.relationstores.types.Area

isEqual, isSortArea

Methods inherited from class nl.cwi.sen1.relationstores.AbstractType

getRelationstoresFactory, isSortBoolCon, isSortIdCon, isSortInteger, isSortLocation, isSortNatCon, isSortRElem, isSortRElemElements, isSortRStore, isSortRTuple, isSortRTupleRtuples, isSortRType, isSortRTypeColumnTypes, isSortStrChar, isSortStrCon, setTerm, toString

Methods inherited from class aterm.pure.ATermApplImpl

accept, getAFun, getArgument, getArgumentArray, getArguments, getArity, getName, getNrSubTerms, getSubTerm, getType, hashFunction, init, initHashCode, isQuoted, make, make, match, setAnnotations, setSubTerm

Methods inherited from class aterm.pure.ATermImpl

equals, getAnnotation, getAnnotations, getFactory, getPureFactory, getUniqueIdentifier, hasAnnotations, hashCode, init, internSetAnnotations, isEqual, match, match, removeAnnotation, removeAnnotations, setAnnotation, setHashCode, setUniqueIdentifier, writeToSharedTextFile, writeToTextFile, writeToTextFile

Methods inherited from class aterm.pure.ATermVisitableImpl

getChildAt, getChildCount, setChildAt

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface aterm.ATerm

equals, getAnnotation, getAnnotations, getFactory, hasAnnotations, hashCode, isEqual, match, match, removeAnnotation, removeAnnotations, setAnnotation, writeToSharedTextFile, writeToTextFile

Methods inherited from interface jjtraveler.Visitable

getChildAt, getChildCount, setChildAt

Methods inherited from interface aterm.Identifiable

getUniqueIdentifier

Field Detail

index_beginLine

private static int index_beginLine

index_beginColumn

private static int index_beginColumn

index_endLine

private static int index_endLine

index_endColumn

private static int index_endColumn

index_offset

private static int index_offset

index_length

private static int index_length

Constructor Detail

Area

public Area(Factory factory,
            aterm.ATermList annos,
            aterm.AFun fun,
            aterm.ATerm[] args)

Method Detail

duplicate

public shared.SharedObject duplicate()

Specified by:

duplicate in interface shared.SharedObject

Overrides:

duplicate in class aterm.pure.ATermApplImpl

equivalent

public boolean equivalent(shared.SharedObject peer)

Specified by:

equivalent in interface shared.SharedObject

Overrides:

equivalent in class aterm.pure.ATermApplImpl

make

protected aterm.ATermAppl make(aterm.AFun fun,
                               aterm.ATerm[] args,
                               aterm.ATermList annos)

Overrides:

make in class aterm.pure.ATermApplImpl

toTerm

public aterm.ATerm toTerm()

Specified by:

toTerm in class AbstractType

isArea

public boolean isArea()

Overrides:

isArea in class Area

hasBeginLine

public boolean hasBeginLine()

Overrides:

hasBeginLine in class Area

hasBeginColumn

public boolean hasBeginColumn()

Overrides:

hasBeginColumn in class Area

hasEndLine

public boolean hasEndLine()

Overrides:

hasEndLine in class Area

hasEndColumn

public boolean hasEndColumn()

Overrides:

hasEndColumn in class Area

hasOffset

public boolean hasOffset()

Overrides:

hasOffset in class Area

hasLength

public boolean hasLength()

Overrides:

hasLength in class Area

getBeginLine

public int getBeginLine()

Overrides:

getBeginLine in class Area

setBeginLine

public Area setBeginLine(int _beginLine)

Overrides:

setBeginLine in class Area

getBeginColumn

public int getBeginColumn()

Overrides:

getBeginColumn in class Area

setBeginColumn

public Area setBeginColumn(int _beginColumn)

Overrides:

setBeginColumn in class Area

getEndLine

public int getEndLine()

Overrides:

getEndLine in class Area

setEndLine

public Area setEndLine(int _endLine)

Overrides:

setEndLine in class Area

getEndColumn

public int getEndColumn()

Overrides:

getEndColumn in class Area

setEndColumn

public Area setEndColumn(int _endColumn)

Overrides:

setEndColumn in class Area

getOffset

public int getOffset()

Overrides:

getOffset in class Area

setOffset

public Area setOffset(int _offset)

Overrides:

setOffset in class Area

getLength

public int getLength()

Overrides:

getLength in class Area

setLength

public Area setLength(int _length)

Overrides:

setLength in class Area

setArgument

public aterm.ATermAppl setArgument(aterm.ATerm arg,
                                   int i)

Specified by:

setArgument in interface aterm.ATermAppl

Overrides:

setArgument in class aterm.pure.ATermApplImpl