|
Element Public Properties
|
CenterGlobal
|
|
Gets the Center Point of this Element relative to this Control's Container |
Category: Layout |
Public Property CenterGlobal() As Point
|
Remarks:
|
|
|
IndexParameters:
|
|
|
Return Value:
|
|
Point |
|
CenterLocal
|
|
Gets the Center Point of this Element relative to this Control |
Category: Layout |
Public Property CenterLocal() As Point
|
Remarks:
|
|
|
IndexParameters:
|
|
|
Return Value:
|
|
Point |
|
Diameter
|
|
The active Region of this Control is circular; this Gets or Sets the diameter in pixels of that Region |
Category: Appearance |
Public Property Diameter() As Int32
|
Remarks:
|
|
|
IndexParameters:
|
|
|
Return Value:
|
|
Int32 |
|
EqualsOrSuccessors
|
|
Gets or Sets Reference to the ElementCollection of the Set of Elements {x|Me <= x}; Elements to which this Element bears the Ordering Relation |
Category: Behavior |
Public Property EqualsOrSuccessors() As ElementCollection
|
Remarks:
|
|
|
IndexParameters:
|
|
|
Return Value:
|
|
ElementCollection |
|
GrabRegion
|
|
Gets the Region that is the Grab-Ring of this EGWorld |
Category: Behavior |
Public Property GrabRegion() As Region
|
Remarks:
|
|
|
IndexParameters:
|
|
|
Return Value:
|
|
Region |
|
GrabWidth
|
|
Gets the Width in Pixels of the Grab-Ring |
Category: Appearance |
Public Property GrabWidth() As Int32
|
Remarks:
|
|
|
IndexParameters:
|
|
|
Return Value:
|
|
Int32 |
|
Index
|
|
Gets or Sets Index of this Element in the ParentSpace's Elements ElementCollection |
Category: Behavior |
Public Property Index() As Int32
|
Remarks:
|
|
|
IndexParameters:
|
|
|
Return Value:
|
|
Int32 |
|
InnerClip
|
|
The GraphicsPath defining the inner edge of the GrabRing annular Region of this Control |
Category: Appearance |
Public Property InnerClip() As GraphicsPath
|
Remarks:
|
|
|
IndexParameters:
|
|
|
Return Value:
|
|
GraphicsPath |
|
IsAccessArrowHead
|
|
An Access-Arrow is being drawn, and this World is at its Head |
Category: Behavior |
Public Property IsAccessArrowHead() As Boolean
|
Remarks:
|
|
|
IndexParameters:
|
|
|
Return Value:
|
|
Boolean |
|
IsAccessArrowTail
|
|
An Access-Arrow is being drawn, and this World is at its Tail |
Category: Behavior |
Public Property IsAccessArrowTail() As Boolean
|
Remarks:
|
|
|
IndexParameters:
|
|
|
Return Value:
|
|
Boolean |
|
IsAntisymmetric
|
|
True iff Access for the present Instance is Antisymmetric, i.e., if world W is accessed by this instance and also accesses it, then this instance Is W |
Category: Behavior |
Public Property IsAntisymmetric() As Boolean
|
Remarks:
|
|
|
IndexParameters:
|
|
|
Return Value:
|
|
Boolean |
|
IsReflexive
|
|
True iff the Ordering Relation for the present Instance is Reflexive |
Category: Behavior |
Public Property IsReflexive() As Boolean
|
Remarks:
|
|
|
IndexParameters:
|
|
|
Return Value:
|
|
Boolean |
|
IsSymmetric
|
|
True iff Access for the present Instance is Symmetric, i.e., any World accessing this instance also is accessed by it |
Category: Behavior |
Public Property IsSymmetric() As Boolean
|
Remarks:
|
|
|
IndexParameters:
|
|
|
Return Value:
|
|
Boolean |
|
IsTransitive
|
|
True iff the Ordering Relation for the present Instance is Transitive, i.e., any World accessing this instance also has access to all worlds which this instance accesses |
Category: Behavior |
Public Property IsTransitive() As Boolean
|
Remarks:
|
|
|
IndexParameters:
|
|
|
Return Value:
|
|
Boolean |
|
MappedIPC
|
|
The Mapped Object, but as an IPartiallyComparable Implementer |
Category: Behavior |
Public Property MappedIPC() As IPartiallyComparable
|
Remarks:
|
|
|
IndexParameters:
|
|
|
Return Value:
|
|
IPartiallyComparable |
|
MappedObject
|
|
Gets or Sets the (IPartiallyComparable-Implementing) Object, cast as Object, which this Element maps |
Category: Behavior |
Public Property MappedObject() As Object
|
Remarks:
|
|
|
IndexParameters:
|
|
|
Return Value:
|
|
Object |
|
MouseLoc
|
|
Gets the Location of the Mouse-Cursor on this Control |
Category: Mouse |
Public Property MouseLoc() As Point
|
Remarks:
|
|
|
IndexParameters:
|
|
|
Return Value:
|
|
Point |
|
Mover
|
|
Sets or Gets Reference to the instantiation of MoveControl used by this EGWorld |
Category: Behavior |
Public Property Mover() As MoveControl
|
Remarks:
|
|
|
IndexParameters:
|
|
|
Return Value:
|
|
MoveControl |
|
NamePlaces
|
|
Gets or Sets minimum number of places in numeric part of Element Name; defaults to 2 |
Category: Layout |
Public Property NamePlaces() As Int32
|
Remarks:
|
|
|
IndexParameters:
|
|
|
Return Value:
|
|
Int32 |
|
NamePrefix
|
|
Gets or Sets String used as prefix in Element Names |
Category: Layout |
Public Property NamePrefix() As String
|
Remarks:
|
|
|
IndexParameters:
|
|
|
Return Value:
|
|
String |
|
OuterEdge
|
|
The GraphicsPath defining the outermost edge of the overall active Region of this Control |
Category: Appearance |
Public Property OuterEdge() As GraphicsPath
|
Remarks:
|
|
|
IndexParameters:
|
|
|
Return Value:
|
|
GraphicsPath |
|
ParentSpace
|
|
Gets or Sets the Parent Control of this Element as Type Order.Space |
Category: Behavior |
Public Property ParentSpace() As Space
|
Remarks:
|
|
|
IndexParameters:
|
|
|
Return Value:
|
|
Space |
|
Preceders
|
|
Gets or Sets Reference to the ElementCollection of the Set of Elements {x|x < Me}; Elements bearing the Ordering Relation to this Element |
Category: Behavior |
Public Property Preceders() As ElementCollection
|
Remarks:
|
|
|
IndexParameters:
|
|
|
Return Value:
|
|
ElementCollection |
|
|
|