soot.jimple.spark.geom.geomPA
Class ShapeNode

java.lang.Object
  soot.jimple.spark.geom.geomPA.ShapeNode

public abstract class ShapeNode
extends Object

It is the the abstract super type of geometric figures, also the manager of all the generated sub-type figures. We implement a simple compression by eliminating identical figures.

Author:

richardxx

Field Summary

long	E1
long	I1
long	I2
boolean	is_new
ShapeNode	next

Constructor Summary

ShapeNode()

Method Summary

abstract void	copy(ShapeNode other)
abstract boolean	coverThisXValue(long x) Test if the input x parameter falls in the range of the X coordinates of this figure
abstract boolean	inclusionTest(ShapeNode other) Test if the invoked figure contains the passed in figure
abstract ShapeNode	makeDuplicate() Clone itself and make a new instance.
abstract void	printSelf(PrintStream outPrintStream)

Methods inherited from class java.lang.Object

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

Field Detail

I1

public long I1

I2

public long I2

E1

public long E1

is_new

public boolean is_new

next

public ShapeNode next

Constructor Detail

ShapeNode

public ShapeNode()

Method Detail

makeDuplicate

public abstract ShapeNode makeDuplicate()

Clone itself and make a new instance.

Returns:

inclusionTest

public abstract boolean inclusionTest(ShapeNode other)

Test if the invoked figure contains the passed in figure

Parameters:

other -

Returns:

coverThisXValue

public abstract boolean coverThisXValue(long x)

Test if the input x parameter falls in the range of the X coordinates of this figure

Parameters:

x -

Returns:

printSelf

public abstract void printSelf(PrintStream outPrintStream)

copy

public abstract void copy(ShapeNode other)