Record Class PFGLDestFramebufferInit.FullWindow
java.lang.Object
java.lang.Record
dev.pfaff.altargui.pathfinder.PFGLDestFramebufferInit.FullWindow
- All Implemented Interfaces:
PFGLDestFramebufferInit
- Enclosing interface:
PFGLDestFramebufferInit
public static record PFGLDestFramebufferInit.FullWindow(int windowWidth, int windowHeight)
extends Record
implements PFGLDestFramebufferInit
-
Nested Class Summary
Nested classes/interfaces inherited from interface dev.pfaff.altargui.pathfinder.PFGLDestFramebufferInit
PFGLDestFramebufferInit.FullWindow
-
Constructor Summary
ConstructorsConstructorDescriptionFullWindow
(int windowWidth, int windowHeight) Creates an instance of aFullWindow
record class. -
Method Summary
Modifier and TypeMethodDescriptionfinal boolean
Indicates whether some other object is "equal to" this one.final int
hashCode()
Returns a hash code value for this object.void
init
(MemorySegment ptr) final String
toString()
Returns a string representation of this record class.int
Returns the value of thewindowHeight
record component.int
Returns the value of thewindowWidth
record component.
-
Constructor Details
-
FullWindow
public FullWindow(int windowWidth, int windowHeight) Creates an instance of aFullWindow
record class.- Parameters:
windowWidth
- the value for thewindowWidth
record componentwindowHeight
- the value for thewindowHeight
record component
-
-
Method Details
-
init
- Specified by:
init
in interfacePFGLDestFramebufferInit
-
toString
-
hashCode
-
equals
Indicates whether some other object is "equal to" this one. The objects are equal if the other object is of the same class and if all the record components are equal. All components in this record class are compared with '=='. -
windowWidth
public int windowWidth()Returns the value of thewindowWidth
record component.- Returns:
- the value of the
windowWidth
record component
-
windowHeight
public int windowHeight()Returns the value of thewindowHeight
record component.- Returns:
- the value of the
windowHeight
record component
-