org.antlr.works.ate

Class ATEGutter.FoldingInfo

java.lang.Object

org.antlr.works.ate.ATEGutter.FoldingInfo

Enclosing class:

ATEGutter

protected static class ATEGutter.FoldingInfo
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
Point	bottom
Rectangle	bottom_r
ATEFoldingEntity	entity
Point	top
Rectangle	top_r

Constructor Summary

Constructors

Constructor and Description
ATEGutter.FoldingInfo(ATEFoldingEntity entity, Point top, Point bottom)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	contains(Point p)

Methods inherited from class java.lang.Object

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

Field Detail

entity

public ATEFoldingEntity entity

top

public Point top

bottom

public Point bottom

top_r

public Rectangle top_r

bottom_r

public Rectangle bottom_r

Constructor Detail

ATEGutter.FoldingInfo

public ATEGutter.FoldingInfo(ATEFoldingEntity entity,
                     Point top,
                     Point bottom)

Method Detail

contains

public boolean contains(Point p)