Class SkewedGridLayouter

java.lang.Object
  |
  +--SkewedGridLayouter

All Implemented Interfaces:

Layouter

public class SkewedGridLayouter

extends java.lang.Object

implements Layouter

Version:

Sun Apr 1 15:36:47 2001

Author:

M. Oliver Möller

Field Summary

static long	assignmentXOffset
static double	assignmentXShift
static long	assignmentYOffset
static double	assignmentYShift
static boolean	debug
private FlatDocumentWriter	fdw
private long	geoCount Parameter for default layout computatation
long	geoXOffset
long	geoYOffset
long	globalGeoXOffset x-Distance from upper left corner
long	globalGeoYOffset y-Distance from upper left corner
static long	guardXOffset
static double	guardXShift
static long	guardYOffset
static double	guardYShift
static long	locLabelXShift
static long	locLabelYShift
static long	locNameXOffset
static long	locNameXShift
static long	locNameYOffset
static long	locNameYShift
private static java.lang.String	newLocName Name for (formerly) anonymous locations
private static long	newLocNameCount Counter for (formerly) anonymous locations
static boolean	sanityChecks
static long	synchronisationXOffset
static double	synchronisationXShift
static long	synchronisationYOffset
static double	synchronisationYShift
static double	xSkew Value 0 corresponds to simple grid layout
static double	ySkew Value 0 corresponds to simple grid layout

Constructor Summary

SkewedGridLayouter(FlatDocumentWriter theFdw)
Default Constructor
Needs the flat document writer to access elements by ID (fast)

Method Summary

private void	addDefaultLocationCoordinates(org.w3c.dom.Element location)
private void	adjustLocation(org.w3c.dom.Element loc) Adjust a location:
private void	adjustTransition(org.w3c.dom.Element trans) Adjust a transition:
void	layoutTemplate(org.w3c.dom.Element template)
private long	oddSq(long l) -1 if odd, 1 if even

Methods inherited from class java.lang.Object

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

Field Detail

globalGeoXOffset

public long globalGeoXOffset

x-Distance from upper left corner

globalGeoYOffset

public long globalGeoYOffset

y-Distance from upper left corner

geoXOffset

public long geoXOffset

geoYOffset

public long geoYOffset

locNameXOffset

public static long locNameXOffset

locNameYOffset

public static long locNameYOffset

assignmentXOffset

public static long assignmentXOffset

assignmentYOffset

public static long assignmentYOffset

assignmentXShift

public static double assignmentXShift

assignmentYShift

public static double assignmentYShift

guardXOffset

public static long guardXOffset

guardYOffset

public static long guardYOffset

guardXShift

public static double guardXShift

guardYShift

public static double guardYShift

synchronisationXOffset

public static long synchronisationXOffset

synchronisationYOffset

public static long synchronisationYOffset

synchronisationXShift

public static double synchronisationXShift

synchronisationYShift

public static double synchronisationYShift

locNameXShift

public static long locNameXShift

locNameYShift

public static long locNameYShift

locLabelXShift

public static long locLabelXShift

locLabelYShift

public static long locLabelYShift

ySkew

public static double ySkew

Value 0 corresponds to simple grid layout

xSkew

public static double xSkew

Value 0 corresponds to simple grid layout

geoCount

private long geoCount

Parameter for default layout computatation

fdw

private FlatDocumentWriter fdw

newLocName

private static final java.lang.String newLocName

Name for (formerly) anonymous locations

newLocNameCount

private static long newLocNameCount

Counter for (formerly) anonymous locations

sanityChecks

public static boolean sanityChecks

debug

public static boolean debug

Constructor Detail

SkewedGridLayouter

public SkewedGridLayouter(FlatDocumentWriter theFdw)

Default Constructor
Needs the flat document writer to access elements by ID (fast)

Method Detail

layoutTemplate

public void layoutTemplate(org.w3c.dom.Element template)
                    throws java.lang.Exception

Specified by:

layoutTemplate in interface Layouter

addDefaultLocationCoordinates

private void addDefaultLocationCoordinates(org.w3c.dom.Element location)
                                    throws java.lang.Exception

oddSq

private long oddSq(long l)

-1 if odd, 1 if even

adjustTransition

private void adjustTransition(org.w3c.dom.Element trans)
                       throws java.lang.Exception

Adjust a transition:

• remove nails
• center coordinates
• move labels to default points

adjustLocation

private void adjustLocation(org.w3c.dom.Element loc)
                     throws java.lang.Exception

Adjust a location:

• creates name, if not present
• moves names
• moves labels
• moves invariants (if any)