Index (course-project-team-96-1.5note-norman-edition API)

A B C D E F G H I J L M N P R S T U V W X Y Z
All Classes and Interfaces|All Packages|Serialized Form

A

addMedia(MediaCommunicator, double, double) - Method in class app.media_managers.AudioModifier: Allows the user to select an audio file to add to the page
addMedia(MediaCommunicator, double, double) - Static method in class app.media_managers.ImageModifier: Loads images into the page from a file, passing back to MediaCommunicator to be displayed.
addMedia(MediaCommunicator, double, double) - Method in class app.media_managers.VideoModifier
addMedia(GUIMedia<?>) - Method in class gui.page.Page: Add the given GUIMedia object to this page.
addMedia(GUIMedia<?>...) - Method in class gui.page.Selection: Add the given GUIMedia to the selection.
addObserver(MediaObserver) - Method in class app.MediaCommunicator: Add a MediaObserver to this MediaCommunicator.
addSegment(PenStroke.Segment) - Method in class app.media.PenStroke
addTag(Media) - Method in class app.interaction_managers.Tagger
adjustPlayTime(Double, MediaPlayer.Status) - Method in class gui.view_controllers.GUIPlayerController
angleProperty() - Method in class app.media.Media
app - package app: High-level components.
app.controllers - package app.controllers
app.interaction_managers - package app.interaction_managers
app.media - package app.media: Media entity classes.
app.media_managers - package app.media_managers
AudioModifier - Class in app.media_managers
AudioModifier() - Constructor for class app.media_managers.AudioModifier
AudioTool - Class in gui.tool: GUI for adding or modifying audio on the page
AudioTool(String) - Constructor for class gui.tool.AudioTool

B

Box(double, double) - Constructor for record class app.media.MediaText.Box: Creates an instance of a Box record class.
BoxSelectRectangle - Class in gui.tool: Visual respresentation of box selection.
BoxSelectRectangle() - Constructor for class gui.tool.BoxSelectRectangle

C

calcAngle(Point2D, Point2D) - Static method in class gui.media.GUIPolygon: Returns the angle of the vector connecting two points
calcPointsFromPoints(Point2D, Point2D, int) - Static method in class gui.media.GUIPolygon: Generates a list of points representing the vertices of a polygon with an arbitrary orientation and dimensions.
calcPointsFromRadiusAngle(double, double, int) - Static method in class gui.media.GUIPolygon: Generates a list of points representing the vertices of a polygon with an arbitrary orientation and dimensions.
centerPage() - Method in class gui.page.Page: given the x and y coords of a point, make that point the center of the visible box
centerPage() - Method in interface gui.Zoomable
changePlaybackSlider(double) - Method in class gui.model.GUIPlayerModel
changePlaybackSlider(double) - Method in class gui.view_controllers.GUIPlayerController
changePlayRate(double) - Method in class gui.model.GUIPlayerModel
changePlayRate(double) - Method in class gui.view_controllers.GUIPlayerController
changePlayTime(double, MediaPlayer.Status) - Method in class gui.model.GUIPlayerModel: Adjusts where the associated GUIAudio will play from when the user interacts with the playback slider
changeVolume(double) - Method in class gui.model.GUIPlayerModel
changeVolume(double) - Method in class gui.view_controllers.GUIPlayerController
checkLink(String) - Static method in class gui.tool.HyperlinkTool
clamp(double, double, double) - Method in class gui.media.GUIShape: A Helper method which clamps a value between a minimum and a maximum
clearSelection() - Method in class gui.tool.MediaTool
clearStatement() - Method in class gui.tool.TagTool
clickLink(EventTarget) - Method in class gui.tool.HyperlinkTool
close() - Method in class storage.SQLiteStorage
closePage() - Method in class gui.page_screen.PageScreen
colourProperty() - Method in class gui.tool.ColourTool: Return an ObjectProperty wrapping the currently selected colour.
ColourTool - Class in gui.tool: Provides a GUI for choosing a colour.
ColourTool() - Constructor for class gui.tool.ColourTool
compileLayout() - Method in class gui.media.PlayerInterface: Compiles all UI elements into 1 layout
configureAddAudio(ToolBarController) - Method in class gui.tool.AudioTool
configureAddAudio(ToolBarController) - Method in class gui.tool.VideoTool
configureUI() - Method in class gui.media.GUIAudio: Configures all the controls for UI elements of the associated PlayerInterface
contains(GUIMedia<?>) - Method in class gui.page.Page: Return whether or not the given GUIMedia object is within this page
contains(GUIMedia<?>) - Method in class gui.page.Selection: Return whether or not the given GUIMedia is selected.
contains(Long) - Method in class storage.SQLiteStorage: Return whether or not Media with the given ID is stored.
CornerBR(double, double, double, double) - Method in class gui.media.GUIShape
CornerTL(double, double, double, double) - Method in class gui.media.GUIShape
createAudioTimestamp(String, String) - Method in class app.media_managers.TextModifier
createGUI() - Static method in class gui.GUICreator: Return the root node for the GUI.
createHyperlink(String, String) - Method in class app.controllers.ToolBarController
createInterface() - Method in class gui.media.GUIAudio
createTimestamps() - Method in class gui.media.GUIAudio: Creates a vertical list of timestamps that can be clicked to move where the player is playing

D

delete() - Method in class gui.page.Selection: Delete the selected Media from the page.
deleteMedia(long) - Method in class app.MediaCommunicator: Remove the Media object with the given name.
deleteMedia(long) - Method in interface app.MediaStorage: Delete the Media with the given ID.
deleteMedia(long) - Method in class storage.SQLiteStorage
deleteMediaByID(Long) - Method in class storage.SQLiteStorage: Delete the Media with the given unqiue identifier.
disabledFor(Page) - Method in interface gui.page.PageEventHandler: Called when the handler is no longer set to receive events for the given page.
disabledFor(Page) - Method in class gui.tool.HyperlinkTool
disabledFor(Page) - Method in class gui.tool.MediaTool
disabledFor(Page) - Method in class gui.tool.PenTool
disabledFor(Page) - Method in class gui.tool.SearchTool
disabledFor(Page) - Method in class gui.tool.ShapeTool
disabledFor(Page) - Method in class gui.tool.TagTool
disabledFor(Page) - Method in class gui.tool.TextTool

E

echoClick() - Method in class gui.media.GUIAudio: Echoes the fact that the associated GUIAudio was clicked, since player controls seemingly consume the Mouse Click event, this method allows the click to be echoed
ELLIPSE - Enum constant in enum class gui.tool.ShapeType
EllipseShape - Class in app.media: An implementation of GenericShape representing an ellipse
EllipseShape(Point2D, Point2D, String) - Constructor for class app.media.EllipseShape: Initializes an ellipse with the following settings
EMPTY_ID - Static variable in class app.media.Media
enabledFor(Page) - Method in interface gui.page.PageEventHandler: Called when the handler is set to receive events from the given page.
enabledFor(Page) - Method in class gui.tool.AudioTool
enabledFor(Page) - Method in class gui.tool.HyperlinkTool
enabledFor(Page) - Method in class gui.tool.ImageTool
enabledFor(Page) - Method in class gui.tool.MediaTool
enabledFor(Page) - Method in class gui.tool.PenTool
enabledFor(Page) - Method in class gui.tool.SearchTool
enabledFor(Page) - Method in class gui.tool.ShapeTool
enabledFor(Page) - Method in class gui.tool.TagTool
enabledFor(Page) - Method in class gui.tool.TextTool
end() - Method in class gui.media.GUIHyperlinkBox
end() - Method in class gui.media.GUIPenStroke: "End" the stroke.
end() - Method in class gui.media.GUITextBox: Keeps the Text and Textbox in sync, and caps of calls during ending procedures when the tool is being "switched off"
endShape() - Method in class gui.tool.ShapeTool: Updates the page with the currently drawn shape
endX() - Method in record class app.media.PenStroke.Segment: Returns the value of the endX record component.
endY() - Method in record class app.media.PenStroke.Segment: Returns the value of the endY record component.
equals(Object) - Method in record class app.media.MediaText.Box: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class app.media.PenStroke.Segment: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class gui.page.PageEventHandler.HandlerMethod: Indicates whether some other object is "equal to" this one.
ErrorWindow - Class in gui.error_window: Display an error message to the user and prevent further use of the GUI until the message is dismissed.
ErrorWindow(Node, String, String, String, String) - Constructor for class gui.error_window.ErrorWindow
ErrorWindow(Node, String, String, Throwable) - Constructor for class gui.error_window.ErrorWindow
ErrorWindow(Window, String, String, String, String) - Constructor for class gui.error_window.ErrorWindow
ErrorWindow(Window, String, String, Throwable) - Constructor for class gui.error_window.ErrorWindow
eventHandler() - Method in record class gui.page.PageEventHandler.HandlerMethod: Returns the value of the eventHandler record component.
eventType() - Method in record class gui.page.PageEventHandler.HandlerMethod: Returns the value of the eventType record component.

F

FileLoaderWriter - Class in storage
FileLoaderWriter() - Constructor for class storage.FileLoaderWriter
FileMedia - Class in app.media
FileMedia(String, double, double, double, double, byte[]) - Constructor for class app.media.FileMedia
firedPlayButton(String) - Method in class gui.model.GUIPlayerModel: Defines what occurs when the play button is pressed.
firePlay(String) - Method in class gui.view_controllers.GUIPlayerController
formatTime(Duration) - Method in class gui.model.GUIPlayerModel: Formats a duration into a more readable time format
formatTime(Duration) - Method in class gui.view_controllers.GUIPlayerController

G

GenericShape - Class in app.media: A sub-class of Media representing an arbitrary shape
GenericShape(String, Point2D, Point2D, String) - Constructor for class app.media.GenericShape: Initializes a Generic Shape with the given parameters
getAllMedia() - Method in class gui.page.Page: Get all the media currently displayed on this page which have assigned IDs.
getAngle() - Method in class app.media.Media: Gets the value of the property angle.
getAngle() - Method in class gui.page.Selection: Return an angle for the selection.
getAudioPlayer() - Method in class gui.media.GUIAudio
getAudioSlider() - Method in class gui.media.PlayerInterface
getCaption() - Method in class app.media_managers.ImageModifier
getChildren() - Method in class gui.SwapPane
getColour() - Method in class app.media.GenericShape: Returns the color of the shape
getColour() - Method in class app.media.MediaText
getColour() - Method in class app.media.PenStroke
getCommunicator() - Method in class gui.page.Page: Return the MediaCommunicator used by this app.media.Page.
getCoords(double, double) - Method in class gui.page.Page
getCoords(Point2D) - Method in class gui.page.Page: Transform the given coordinates into the page's coordinate space.
getCoordsInv(double, double) - Method in class gui.page.Page
getCoordsInv(Point2D) - Method in class gui.page.Page: Transform the given out of the page's coordinate space.
getCurrentDuration() - Method in class gui.media.GUIAudio
getCurrentDuration() - Method in interface gui.media.Playable
getCurrentHyperlinkBox() - Method in class gui.tool.HyperlinkTool
getCurrentShape() - Method in class gui.tool.ShapeTool
getExtension() - Method in class gui.media.GUIAudio
getExtension() - Method in class gui.media.GUIVideo
getFor(GenericShape) - Static method in class gui.media.GUIShapeFactory: Returns the GUIMedia representation of a GenericShape class
getFor(Media) - Static method in class gui.media.GUIMediaFactory: Instatiate the correct GUIMedia sub-class for the given Media object.
getForward() - Method in class gui.media.PlayerInterface
getGraphic() - Method in class gui.tool.AudioTool
getGraphic() - Method in class gui.tool.ColourTool
getGraphic() - Method in class gui.tool.HyperlinkTool
getGraphic() - Method in class gui.tool.ImageTool
getGraphic() - Method in class gui.tool.MediaTool
getGraphic() - Method in class gui.tool.PenTool
getGraphic() - Method in class gui.tool.SearchTool
getGraphic() - Method in class gui.tool.ShapeTool
getGraphic() - Method in class gui.tool.TagTool
getGraphic() - Method in class gui.tool.TextTool
getGraphic() - Method in interface gui.tool.Tool: Return the "graphic" to show in the toolbar for this tool.
getGraphic() - Method in class gui.tool.VideoTool
getHandlerMethods() - Method in interface gui.page.PageEventHandler: Get the handler methods to be added to a page through which events will be received.
getHandlerMethods() - Method in class gui.tool.AudioTool
getHandlerMethods() - Method in class gui.tool.HyperlinkTool
getHandlerMethods() - Method in class gui.tool.MediaTool
getHandlerMethods() - Method in class gui.tool.PenTool
getHandlerMethods() - Method in class gui.tool.ShapeTool
getHandlerMethods() - Method in class gui.tool.TagTool
getHandlerMethods() - Method in class gui.tool.TextTool
getHeight() - Method in class app.media.Media: Gets the value of the property height.
getHyperlink() - Method in class gui.media.GUIHyperlink
getID() - Method in class app.media.Media: Return the unique identifier for this Media.
getID() - Method in class gui.media.GUIMedia
getIDsWithin(double, double, double, double) - Method in class app.MediaCommunicator: Return a set containing at least the IDs of all the Media objects within the rectangular region with top left corner at (`x`, `y`) and with width `w` and height `h`.
getIDsWithin(double, double, double, double) - Method in interface app.MediaStorage
getIDsWithin(double, double, double, double) - Method in class storage.SQLiteStorage
getImage() - Method in class app.media_managers.ImageModifier
getLink() - Method in class app.media.Hyperlink
getLink() - Method in class app.media.MediaHyperlink
getLink() - Method in class gui.media.GUIHyperlinkBox
getMedia() - Method in class gui.media.GUIMedia
getMedia() - Method in class gui.page.Selection
getMedia(long) - Method in class app.MediaCommunicator: Return the Media object with the given ID.
getMedia(MouseEvent) - Method in class gui.tool.TagTool
getMediaLayer() - Method in class gui.page.Page: Getter for mediaLayer
getMouseCoords(MouseEvent) - Method in class gui.page.Page: Return the coordinates of the given MouseEvent in the page's coordinate space.
getName() - Method in class app.media.Media: Gets the value of the property name.
getName() - Method in class gui.media.GUIMedia
getName() - Method in class gui.page.Selection: Return a name for the selection.
getName() - Method in class gui.tool.AudioTool
getName() - Method in class gui.tool.ColourTool
getName() - Method in class gui.tool.HyperlinkTool
getName() - Method in class gui.tool.ImageTool
getName() - Method in class gui.tool.MediaTool
getName() - Method in class gui.tool.PenTool
getName() - Method in class gui.tool.SearchTool
getName() - Method in class gui.tool.ShapeTool
getName() - Method in class gui.tool.TagTool
getName() - Method in class gui.tool.TextTool
getName() - Method in interface gui.tool.Tool: Return the name of this tool.
getName() - Method in class gui.tool.VideoTool
getP1() - Method in class app.media.GenericShape: Gets the first point defining the shape
getP2() - Method in class app.media.GenericShape: Gets the second point defining the shape
getPage() - Method in class gui.page_screen.PageScreen
getPage() - Method in class gui.tool.AudioTool
getPlay() - Method in class gui.media.PlayerInterface
getPlaybackSlider() - Method in class gui.media.PlayerInterface
getPlaybackText() - Method in class gui.media.GUIAudio
getPlaybackText() - Method in class gui.media.PlayerInterface
getPlayerUI() - Method in class gui.media.GUIAudio
getPlayRateOptions() - Method in class gui.media.PlayerInterface
getRadius() - Method in class app.media.PolygonShape: Returns the radius of the polygon
getRawData() - Method in class app.media.FileMedia
getRedo() - Method in class gui.media.PlayerInterface
getResourceURL(String) - Static method in class gui.ResourceLoader: Return a URL for the resource at the given path.
getResults() - Method in class app.interaction_managers.Searcher
getScale() - Method in class gui.page.Page: Getter for scale
getScaleFactor() - Method in class gui.page.Page: Getter for scaleFactor
getSegments() - Method in class app.media.PenStroke
getSelectedPlayer() - Method in class gui.tool.AudioTool
getSettingsGUI() - Method in class gui.tool.AudioTool
getSettingsGUI() - Method in class gui.tool.ColourTool
getSettingsGUI() - Method in class gui.tool.HyperlinkTool
getSettingsGUI() - Method in class gui.tool.ImageTool
getSettingsGUI() - Method in class gui.tool.MediaTool
getSettingsGUI() - Method in class gui.tool.PenTool
getSettingsGUI() - Method in class gui.tool.SearchTool
getSettingsGUI() - Method in class gui.tool.ShapeTool
getSettingsGUI() - Method in class gui.tool.TagTool
getSettingsGUI() - Method in class gui.tool.TextTool
getSettingsGUI() - Method in interface gui.tool.Tool: Return the GUI element which configures the settings for this tool.
getSideCount() - Method in class app.media.PolygonShape: Returns the number of sides of the polygon
getStartAngle() - Method in class app.media.PolygonShape: Returns the starting angle of the polygon
getTags() - Method in class app.media.Media
getText() - Method in class app.media.MediaHyperlink
getText() - Method in class app.media.MediaText
getText() - Method in class gui.media.GUIHyperlinkBox
getText() - Method in class gui.media.GUITextBox
getTextNode() - Method in class gui.media.GUIHyperlinkBox
getTextNode() - Method in class gui.media.GUITextBox
getThickness() - Method in class app.media.PenStroke
getTimestamps() - Method in class app.media.MediaAudio
getTimestamps() - Method in class gui.media.GUIAudio
getTimestampsText() - Method in class gui.media.GUIAudio
getTools() - Static method in class gui.tool.ToolFactory: Return an array containing instances of all the available tools.
getVisibleBounds() - Method in class gui.page.Page: Returns the currently visible region.
getWidth() - Method in class app.media.Media: Gets the value of the property width.
getX() - Method in class app.media.Media: Gets the value of the property x.
getY() - Method in class app.media.Media: Gets the value of the property y.
getZindex() - Method in class app.media.Media
getZindex() - Method in class gui.page.Selection: Return a Z-Index for the selection.
gui - package gui: GUI elements.
gui.error_window - package gui.error_window: GUI element for showing error messages to the user.
gui.media - package gui.media: GUI representations of Media entity classes.
gui.model - package gui.model
gui.page - package gui.page: GUI element for displaying and modifying the Media in a page.
gui.page_screen - package gui.page_screen: GUI context and elements in which the GUI element for the page is displayed.
gui.start_screen - package gui.start_screen: GUI elements shown to the user when the program starts.
gui.tool - package gui.tool: GUI elements + standard interface for creating/modifying Media.
gui.view_controllers - package gui.view_controllers
GUIAudio - Class in gui.media: GUI for playing an associated MediaAudio
GUIAudio(MediaAudio) - Constructor for class gui.media.GUIAudio
GUICreator - Class in gui: Utility class which instantiates main GUI components.
GUIEllipse - Class in gui.media: An implementation of GUIShape representing an ellipse
GUIEllipse(EllipseShape) - Constructor for class gui.media.GUIEllipse: Constructs a GUIEllipse from a EllipseShape
GUIEllipse(Point2D, Point2D, Color) - Constructor for class gui.media.GUIEllipse: Initializes and draws a GUIEllipse with the following settings
GUIHyperlink - Class in gui.media
GUIHyperlink(MediaHyperlink) - Constructor for class gui.media.GUIHyperlink
GUIHyperlinkBox - Class in gui.media
GUIHyperlinkBox(Hyperlink) - Constructor for class gui.media.GUIHyperlinkBox
GUIHyperlinkBox(Point2D, String, String, Color) - Constructor for class gui.media.GUIHyperlinkBox
GUIImage - Class in gui.media: Draws image into the page.
GUIImage(MediaImage) - Constructor for class gui.media.GUIImage
GUIMedia<M extends Media> - Class in gui.media: Base class for GUI elements which represent a Media object.
GUIMedia(M) - Constructor for class gui.media.GUIMedia
GUIMediaFactory - Class in gui.media: Simple factory which creates the appropriate GUIMedia object for a given Media object.
GUIPenStroke - Class in gui.media: GUI representation of a pen stroke on a page.
GUIPenStroke(PenStroke) - Constructor for class gui.media.GUIPenStroke
GUIPenStroke(Point2D, double, Color) - Constructor for class gui.media.GUIPenStroke
GUIPlayerController - Class in gui.view_controllers
GUIPlayerController(Playable, Duration) - Constructor for class gui.view_controllers.GUIPlayerController
GUIPlayerModel - Class in gui.model: Use case class that changes the view of a GUIAudio based on how the user interacts with it
GUIPlayerModel(Playable, Duration) - Constructor for class gui.model.GUIPlayerModel
GUIPolygon - Class in gui.media: An implementation of the GUIShape class representing a polygon
GUIPolygon(PolygonShape) - Constructor for class gui.media.GUIPolygon: Constructs a GUIEllipse from a EllipseShape
GUIPolygon(Point2D, Point2D, Color, int) - Constructor for class gui.media.GUIPolygon: Initializes and draws GUIPolygon with the following settings
GUIRectangle - Class in gui.media: An implementation of GUIShape representing a rectangle
GUIRectangle(RectangleShape) - Constructor for class gui.media.GUIRectangle: Constructs a GUIRectangle from a RectangleShape
GUIRectangle(Point2D, Point2D, Color) - Constructor for class gui.media.GUIRectangle: Initializes and draws a GUIEllipse with the following settings
GUIShape - Class in gui.media: A sub-class of GUIMedia representing an arbitrary shape
GUIShape(GenericShape) - Constructor for class gui.media.GUIShape
GUIShapeFactory - Class in gui.media: Instantiate the correct GUIMedia subclass for a given GenericShape object.
GUIShapeFactory() - Constructor for class gui.media.GUIShapeFactory
GUITextBox - Class in gui.media: Visually draws the TextBoxes in the canvas area.
GUITextBox(MediaText) - Constructor for class gui.media.GUITextBox
GUITextBox(Point2D, String, Color) - Constructor for class gui.media.GUITextBox
GUIVideo - Class in gui.media
GUIVideo(MediaAudio) - Constructor for class gui.media.GUIVideo

H

HandlerMethod(EventType<T>, EventHandler<? super T>) - Constructor for record class gui.page.PageEventHandler.HandlerMethod: Creates an instance of a HandlerMethod record class.
hashCode() - Method in record class app.media.MediaText.Box: Returns a hash code value for this object.
hashCode() - Method in record class app.media.PenStroke.Segment: Returns a hash code value for this object.
hashCode() - Method in record class gui.page.PageEventHandler.HandlerMethod: Returns a hash code value for this object.
heightProperty() - Method in class app.media.Media
Hyperlink - Class in app.media
Hyperlink(double, double, String, String, String) - Constructor for class app.media.Hyperlink
HyperlinkTool - Class in gui.tool
HyperlinkTool(ObjectProperty<Color>) - Constructor for class gui.tool.HyperlinkTool

I

ImageModifier - Class in app.media_managers
ImageModifier() - Constructor for class app.media_managers.ImageModifier
ImageTool - Class in gui.tool: Tool for the toolbar to insert images onto the page.
ImageTool() - Constructor for class gui.tool.ImageTool: Default constructor, used to set up the tool and detect actions, then trigger image insertion.
initializeControls() - Method in class gui.tool.AudioTool: Provides functionality to the UI elements as defined in settings
insertAudio(MediaCommunicator, Bounds) - Method in class app.controllers.ToolBarController
insertImage(MediaCommunicator, double, double) - Method in class app.controllers.ToolBarController
insertMedia(Media) - Method in class storage.SQLiteStorage: Store the given media.
insertText() - Method in class app.controllers.ToolBarController
insertVideo(MediaCommunicator, Bounds) - Method in class app.controllers.ToolBarController
interact(String) - Method in interface app.interaction_managers.InteractionManager
interact(String) - Method in class app.interaction_managers.Searcher
interact(String) - Method in class app.interaction_managers.Tagger
interact(MouseEvent) - Method in class gui.tool.HyperlinkTool
InteractionManager - Interface in app.interaction_managers
isIDtaken(long) - Method in interface app.MediaStorage
isIDtaken(long) - Method in class storage.SQLiteStorage
isInMemory() - Method in class storage.SQLiteStorage: Return whether or not this DB is stored in memory rather than in a file.
isInUse() - Method in class gui.media.GUIMedia: Return whether or not there are any users of this GUIMedia.
isWithin(double, double, double, double) - Method in class app.media.Media: Check if this media lies within the given rectangular region.

J

jumpToCenter(double, double) - Method in class gui.page.Page: given the x and y coords of a point, make that point the center of the visible box
jumpToTopLeft(double, double) - Method in class gui.page.Page: given the x and y coords of a point, make that point the top left of the visible box

L

leftCorner() - Method in record class app.media.MediaText.Box: Returns the value of the leftCorner record component.
loadBitmapIcon(String, int, int) - Static method in class gui.ResourceLoader: Load a bitmap image as an icon with the given dimensions and colour.
loadMedia(long) - Method in interface app.MediaStorage: Load the Media with the given name.
loadMedia(long) - Method in class storage.SQLiteStorage
loadSVGicon(String, int, int) - Static method in class gui.ResourceLoader
loadSVGicon(String, int, int, Color) - Static method in class gui.ResourceLoader: Load an SVG image as an icon with the given dimensions and colour.

M

main(String[]) - Static method in class gui.Main
main(String[]) - Static method in class Main
Main - Class in gui: Entrypoint for the whole program.
Main - Class in Unnamed Package
Main() - Constructor for class gui.Main
Main() - Constructor for class Main
makeHyperlink(Point2D, String, String, Color) - Method in class gui.tool.HyperlinkTool
Media - Class in app.media: Core entity representing a piece of media which can be displayed on a page.
Media(long, String, double, double, double, double) - Constructor for class app.media.Media: Instantiate a new Media object given only ID, name, position and size.
Media(long, String, Set<String>, double, double, double, double, double, int) - Constructor for class app.media.Media: Instantiate a new Media object given all fields.
Media(String, double, double, double, double) - Constructor for class app.media.Media: Instantiate a new Media object given only name, position and size.
Media(String, Set<String>, double, double, double, double, double, int) - Constructor for class app.media.Media: Instantiate a new Media object given all fields except ID.
MediaAudio - Class in app.media
MediaAudio(String, double, double, double, double, byte[], ArrayList<Duration>) - Constructor for class app.media.MediaAudio
MediaCommunicator - Class in app: Main facade class.
MediaCommunicator(MediaStorage) - Constructor for class app.MediaCommunicator: Instantiate a MediaCommunicator with the given storage backend.
mediaDeleted(long) - Method in interface app.MediaObserver: Called whenever a Media object is deleted.
mediaDeleted(long) - Method in class gui.page.Page
MediaHyperlink - Class in app.media
MediaHyperlink(String, double, double, double, double, String, String) - Constructor for class app.media.MediaHyperlink
MediaImage - Class in app.media: Entity class for storing image media
MediaImage(String, double, double, double, double, byte[]) - Constructor for class app.media.MediaImage
MediaObserver - Interface in app: Implementors of this interface can be given to an instance of MediaCommunicator to be notified when Media is added/updated/removed.
MediaStorage - Interface in app: Implementors of this interface can be used as a Media storage back-end by MediaCommunicator.
MediaText - Class in app.media
MediaText(double, double) - Constructor for class app.media.MediaText
MediaText(double, double, String, String) - Constructor for class app.media.MediaText
MediaText.Box - Record Class in app.media
MediaTool - Class in gui.tool: The Media tool allows selecting multiple media and modifying the properties common to all media types.
MediaTool() - Constructor for class gui.tool.MediaTool
mediaUpdated(Media) - Method in interface app.MediaObserver: Called whenever a Media object is updated/added.
mediaUpdated(Media) - Method in class gui.media.GUIAudio: Notifies that the interface for timestamps must be updated
mediaUpdated(Media) - Method in class gui.media.GUIImage
mediaUpdated(Media) - Method in class gui.media.GUIMedia: This method is called when the underlying Media object is updated.
mediaUpdated(Media) - Method in class gui.media.GUIPenStroke
mediaUpdated(Media) - Method in class gui.media.GUIShape: This method is called when the underlying Media object is updated.
mediaUpdated(Media) - Method in class gui.media.GUITextBox
mediaUpdated(Media) - Method in class gui.page.Page
MediaVideo - Class in app.media
MediaVideo(String, double, double, double, double, byte[], ArrayList<Duration>) - Constructor for class app.media.MediaVideo: Entity class for storing video
modifyMedia(MediaAudio, Duration, MediaCommunicator) - Method in class app.media_managers.AudioModifier: Allowing timestamps to either be added or removed from referenced parameter audio
modifyTimestamp(MediaAudio, Duration, MediaCommunicator) - Method in class app.controllers.ToolBarController
move(Point2D) - Method in class gui.page.Selection: Increment the positions of the selected Media by the given displacement.
moveSelectedMedia(Point2D) - Method in class gui.tool.MediaTool

N

nameProperty() - Method in class app.media.Media
newPage(MediaCommunicator) - Method in class gui.page_screen.PageScreen

P

page - Variable in class gui.tool.AudioTool
Page - Class in gui.page: GUI element which displays the visual representation of the Media entities in a page.
Page(MediaCommunicator) - Constructor for class gui.page.Page
PageEventHandler - Interface in gui.page: Implementors of this interface provide handler methods which accept events from a Page.
PageEventHandler.HandlerMethod<T extends javafx.event.Event> - Record Class in gui.page: Combination of an EventType and an EventHandler which handles events of an appropriate type.
PageScreen - Class in gui.page_screen: GUI element which displays and allows modification to a page.
PageScreen(MediaCommunicator) - Constructor for class gui.page_screen.PageScreen
pause() - Method in class gui.media.GUIAudio
pause() - Method in interface gui.media.Playable
PenStroke - Class in app.media: Entity class for a pen stroke.
PenStroke(double, double, double, String) - Constructor for class app.media.PenStroke
PenStroke.Segment - Record Class in app.media: Data for a single line segment in a stroke.
PenTool - Class in gui.tool: Allows drawing pen strokes on the page.
PenTool(ObjectProperty<Color>) - Constructor for class gui.tool.PenTool
play() - Method in class gui.media.GUIAudio
play() - Method in interface gui.media.Playable
Playable - Interface in gui.media
PlayerInterface - Class in gui.media: Represents the GUI elements compromising a media player
PlayerInterface(String) - Constructor for class gui.media.PlayerInterface
POLYGON - Enum constant in enum class gui.tool.ShapeType
PolygonShape - Class in app.media: An implementation of GenericShape representing a polygon
PolygonShape(Point2D, Point2D, String, double, double, int) - Constructor for class app.media.PolygonShape: Initializes a polygon with the following settings

R

readFile(String[], String) - Method in class storage.FileLoaderWriter: Allows the user to choose media to be added to the Page
readFile(String[], String) - Method in interface storage.Storage
RECTANGLE - Enum constant in enum class gui.tool.ShapeType
RectangleShape - Class in app.media: An implementation of GenericShape representing a rectangle
RectangleShape(Point2D, Point2D, String) - Constructor for class app.media.RectangleShape: Initializes a rectangle with the following settings
release() - Method in class gui.media.GUIMedia: Indicate that the caller is no longer using the GUIMedia instance and it can be un-loaded.
removeAllMedia() - Method in class gui.page.Page: Remove ALL GUIMedia objects from this page.
removeAllMedia() - Method in class gui.page.Selection: Empty the selection.
removed() - Method in class gui.media.GUIAudio
removed() - Method in class gui.media.GUIMedia: This method is called when this GUIMedia object is "removed" and will no longer be displayed.
removeMedia(GUIMedia<?>) - Method in class gui.page.Page: Remove the given GUIMedia object from this page.
removeMedia(GUIMedia<?>...) - Method in class gui.page.Selection: Remove the given GUIMedia from the selection.
removeObserver(MediaObserver) - Method in class app.MediaCommunicator: Remove a MediaObserver from this MediaCommunicator.
removeTag(Media) - Method in class app.interaction_managers.Tagger
removeTag(String, GUIMedia<?>) - Method in class app.controllers.ToolBarController
rename(String) - Method in class gui.page.Selection: Rename the selected Media to the given name.
resetInterface(String) - Method in class gui.tool.AudioTool
ResourceLoader - Class in gui: Utility class for loading resource files (icon images, stylesheets, etc.).
RestrictPoints(Point2D, Point2D, boolean) - Method in class gui.media.GUIShape: Returns the center and dimensions of a shape's bounding box, given two points
results - Variable in class app.controllers.SearchBarController
rightCorner() - Method in record class app.media.MediaText.Box: Returns the value of the rightCorner record component.
rotate(double) - Method in class gui.page.Selection: Set the angle of rotation of the selected Media to the given angle.

S

save() - Method in class app.MediaCommunicator: Save changes to storage.
saveMedia(Media) - Method in interface app.MediaStorage: Save the given Media.
saveMedia(Media) - Method in class storage.SQLiteStorage
saveTo(File) - Method in class storage.SQLiteStorage: Store the current database in the given file and switch to using that file as the current database.
scrollHorizontally(double) - Method in class gui.page.Page: Translate the mediaLayer horizontally by translation amount of pixels (using traditional computer graphics coordinate systems with the top left corner being (0, 0) and y increasing positively downwards and x increasing positively to the right)
scrollVertically(double) - Method in class gui.page.Page: Translate the mediaLayer vertically by translation amount of pixels (using traditional computer graphics coordinate systems with the top left corner being (0, 0) and y increasing positively downwards and x increasing positively to the right)
SearchBarController - Class in app.controllers
SearchBarController(ArrayList<Media>, String) - Constructor for class app.controllers.SearchBarController
Searcher - Class in app.interaction_managers
Searcher(ArrayList<Media>) - Constructor for class app.interaction_managers.Searcher
SearchTool - Class in gui.tool
SearchTool() - Constructor for class gui.tool.SearchTool
Segment(double, double) - Constructor for record class app.media.PenStroke.Segment: Creates an instance of a Segment record class.
selectAllIDs() - Method in class storage.SQLiteStorage: Return all the IDs currently stored
selectBaseMediaByID(Long) - Method in class storage.SQLiteStorage: Load the Media with the given unique identifier.
selectIDsWithin(double, double, double, double) - Method in class storage.SQLiteStorage: Return the IDs of media within the given rectangular region.
Selection - Class in gui.page: Perform bulk operations on GUIMedia within the same Page.
Selection(Page, Effect) - Constructor for class gui.page.Selection: Create a new Selection for the given Page.
selectMedia(GUIMedia<?>) - Method in class gui.tool.MediaTool
selectMediaByID(Long) - Method in class storage.SQLiteStorage: Load the Media with the given unique identifier.
setAngle(double) - Method in class app.media.Media: Sets the value of the property angle.
setBase(Node) - Method in class gui.SwapPane: Set the "base" Node, replacing the previous "base" Node.
setCaption(String) - Method in class app.media_managers.ImageModifier
setColour(String) - Method in class app.media.GenericShape: Sets the colour of the shape
setEventHandler(PageEventHandler) - Method in class gui.page.Page: Set the handler of input events.
setGenericShape(GenericShape) - Method in class gui.media.GUIEllipse: Creates a GUIShape from its corresponding GenericShape
setGenericShape(GenericShape) - Method in class gui.media.GUIPolygon: Creates a GUIShape from its corresponding GenericShape
setGenericShape(GenericShape) - Method in class gui.media.GUIRectangle: Creates a GUIShape from its corresponding GenericShape
setGenericShape(GenericShape) - Method in class gui.media.GUIShape: Creates a GUIShape from its corresponding GenericShape
setHeight(double) - Method in class app.media.Media: Sets the value of the property height.
setID(long) - Method in class app.media.Media: Set the unique identifier on this Media.
setImage(MediaImage) - Method in class app.media_managers.ImageModifier
setImageView(MediaImage) - Method in class gui.media.GUIImage
setInitialValues() - Method in class gui.media.GUIHyperlinkBox
setInitialValues() - Method in class gui.media.GUIImage
setInitialValues() - Method in class gui.media.GUITextBox
setInterface() - Method in class gui.tool.AudioTool
setLink(String) - Method in class app.media.Hyperlink
setLink(String) - Method in class app.media.MediaHyperlink
setLink(String) - Method in class gui.media.GUIHyperlinkBox
setMedia(M) - Method in class gui.media.GUIMedia
setName(String) - Method in class app.media.Media: Sets the value of the property name.
setP1(Point2D) - Method in class app.media.GenericShape: Sets the first point defining the shape
setP2(Point2D) - Method in class app.media.GenericShape: Sets the second point defining the shape
setPlaybackRate(double) - Method in class gui.media.GUIAudio
setPlaybackRate(double) - Method in interface gui.media.Playable
setPlaybackSliderValue(double) - Method in class gui.media.GUIAudio
setPlaybackSliderValue(double) - Method in interface gui.media.Playable
setPlaybackText(String) - Method in class gui.media.GUIAudio
setPlaybackText(String) - Method in interface gui.media.Playable
setPlayButtonText(String) - Method in class gui.media.GUIAudio
setPlayButtonText(String) - Method in interface gui.media.Playable
setPlayerDuration(Duration) - Method in class gui.media.GUIAudio
setPlayerDuration(Duration) - Method in interface gui.media.Playable
setPlayerUI(PlayerInterface) - Method in class gui.media.GUIAudio
setPlayerVolume(double) - Method in class gui.media.GUIAudio
setPlayerVolume(double) - Method in interface gui.media.Playable
setRadius(double) - Method in class app.media.PolygonShape: Sets the radius of the polygon
setRawData(byte[]) - Method in class app.media.FileMedia
setSelectedAudio(MouseEvent) - Method in class gui.tool.AudioTool: Defines how GUIAudio on the page can either be selected or de-selected
setSelectedAudio(MouseEvent) - Method in class gui.tool.VideoTool
setSelectedPlayer(GUIAudio) - Method in class gui.tool.AudioTool
setSideCount(int) - Method in class app.media.PolygonShape: Sets the side count of the polygon
setStartAngle(double) - Method in class app.media.PolygonShape: Sets the starting angle of the polygon
setTags(Set<String>) - Method in class app.media.Media
setText(String) - Method in class app.media.MediaHyperlink
setText(String) - Method in class app.media.MediaText
setText(String) - Method in class gui.media.GUIHyperlinkBox
setText(String) - Method in class gui.media.GUITextBox
setTotalDuration(Duration) - Method in class gui.model.GUIPlayerModel
setUIlayer(Node) - Method in class gui.page.Page: Set a node to display on top of the current page.
setWidth(double) - Method in class app.media.Media: Sets the value of the property width.
setX(double) - Method in class app.media.Media: Sets the value of the property x.
setY(double) - Method in class app.media.Media: Sets the value of the property y.
setZindex(int) - Method in class app.media.Media
setZindex(int) - Method in class gui.page.Selection: Set the Z-index of the selected Media to the given Z-index.
ShapeTool - Class in gui.tool: An implementation of Tool that allows the user to create various shapes
ShapeTool(ObjectProperty<Color>) - Constructor for class gui.tool.ShapeTool
ShapeType - Enum Class in gui.tool
SQLiteStorage - Class in storage: Implementation of MediaStorage backed by a SQLite database.
SQLiteStorage(File) - Constructor for class storage.SQLiteStorage: Instantiate a new SQLiteStorage backed by the given file.
start(Stage) - Method in class gui.Main
StartScreen - Class in gui.start_screen: First screen shown to the user from which they can create/load pages.
StartScreen(SwapPane, MenuBar) - Constructor for class gui.start_screen.StartScreen
startShape(Point2D, Point2D, Color, ShapeType) - Method in class gui.tool.ShapeTool: Initializes a shape given two positions, its color and its type.
storage - package storage: Low-level persistence implementations.
Storage - Interface in storage
swapBack() - Method in class gui.SwapPane: Swap away to the "other" Node back to the "base" Node.
SwapPane - Class in gui: Restricted StackPane which initially displays a "base" Node and allows "swapping" to display another Node.
SwapPane() - Constructor for class gui.SwapPane
swapTo(Node) - Method in class gui.SwapPane: Swap away from the "base" Node to the given "other" Node.

T

tag(String, GUIMedia<?>) - Method in class app.controllers.ToolBarController
Tagger - Class in app.interaction_managers
Tagger() - Constructor for class app.interaction_managers.Tagger
TagTool - Class in gui.tool
TagTool() - Constructor for class gui.tool.TagTool
TextModifier - Class in app.media_managers
TextModifier() - Constructor for class app.media_managers.TextModifier
TextTool - Class in gui.tool: Allows the user to create and edit textboxes.
TextTool(ObjectProperty<Color>) - Constructor for class gui.tool.TextTool
Tool - Interface in gui.tool: Interface to be implemented by tools to provide the GUI with which they are configured as well as the graphic which represents them in the toolbar.
ToolBarController - Class in app.controllers
ToolBarController() - Constructor for class app.controllers.ToolBarController
ToolFactory - Class in gui.tool: Utility class for instantiating the available tools.
toString() - Method in class app.media.EllipseShape: Returns the shape's type, position, dimensions and color
toString() - Method in class app.media.Media
toString() - Method in record class app.media.MediaText.Box: Returns a string representation of this record class.
toString() - Method in record class app.media.PenStroke.Segment: Returns a string representation of this record class.
toString() - Method in class app.media.PolygonShape: Returns the shape's type, position, dimensions and color
toString() - Method in class app.media.RectangleShape: Returns the shape's type, position, dimensions and color
toString() - Method in class gui.media.GUIHyperlink
toString() - Method in class gui.media.GUIShape: Returns the string representation of the GUIShape's GenericShape class
toString() - Method in record class gui.page.PageEventHandler.HandlerMethod: Returns a string representation of this record class.

U

unSelectMedia(GUIMedia<?>) - Method in class gui.tool.MediaTool
update(String) - Method in class gui.media.GUITextBox
update(Point2D, double, boolean) - Method in class gui.media.GUIPenStroke
update(Point2D, Point2D) - Method in class gui.tool.BoxSelectRectangle: Reposition/resize the rectangle such that 2 opposite corners lie on the points given as `p1` and `p2`.
update(Point2D, Point2D, boolean) - Method in class gui.media.GUIEllipse: Called when changing the position or dimensions of a shape
update(Point2D, Point2D, boolean) - Method in class gui.media.GUIPolygon: Called when changing the position or dimensions of a shape
update(Point2D, Point2D, boolean) - Method in class gui.media.GUIRectangle: Called when changing the position or dimensions of a shape
update(Point2D, Point2D, boolean) - Method in class gui.media.GUIShape: Called when changing the position or dimensions of a shape
updateHyperLink(String, String) - Method in class gui.media.GUIHyperlinkBox
updateMedia(Media) - Method in class app.MediaCommunicator: Update (or add, if it doesn't already exist) the given Media object.
updateMedia(Media, Consumer<Long>) - Method in class app.MediaCommunicator: Update (or add, if it doesn't already exist) the given Media object.
updateMedia(GUIMedia<?>) - Method in class gui.page.Page: Indicate that the given GUIMedia object has been updated.
updatePlaybackText(Duration) - Method in class gui.model.GUIPlayerModel
updatePlaybackText(Duration) - Method in class gui.view_controllers.GUIPlayerController
updatePoints() - Method in class gui.media.GUIEllipse: Specific implementation of updatePoints for GUIEllipse
updatePoints() - Method in class gui.media.GUIPolygon: Specific implementation of updatePoints for GUIPolygon
updatePoints() - Method in class gui.media.GUIRectangle: Specific implementation of updatePoints for GUIRectangle
updatePoints() - Method in class gui.media.GUIShape
updateShape(Point2D, Point2D, boolean) - Method in class gui.tool.ShapeTool: Modifies and updates a shape to fit within the bounding box defined by two points.
updateStatement() - Method in class gui.tool.TagTool
use() - Method in class gui.media.GUIMedia: Indicate that the caller is using the GUIMedia instance and it should not be un-loaded.

V

valueOf(String) - Static method in enum class gui.tool.ShapeType: Returns the enum constant of this class with the specified name.
values() - Static method in enum class gui.tool.ShapeType: Returns an array containing the constants of this enum class, in the order they are declared.
VideoModifier - Class in app.media_managers
VideoModifier() - Constructor for class app.media_managers.VideoModifier
VideoTool - Class in gui.tool
VideoTool(String) - Constructor for class gui.tool.VideoTool

W

widthProperty() - Method in class app.media.Media
writeFile(String, byte[], String) - Method in class storage.FileLoaderWriter: Writes a temp file for use by FileMedia
writeFile(String, byte[], String) - Method in interface storage.Storage

X

xPos - Variable in class app.controllers.SearchBarController
xProperty() - Method in class app.media.Media

Y

yPos - Variable in class app.controllers.SearchBarController
yProperty() - Method in class app.media.Media

Z

zIndexProperty() - Method in class app.media.Media
Zoomable - Interface in gui: Interface implemented by Nodes that are able to scale larger or smaller, creating a zooming appearance in the GUI.
zoomInOrOut(String) - Method in class gui.page.Page: Scale toZoom by jumping to the next smallest/largest (depending on the value of inOrOut) double in zoomOptions
zoomInOrOut(String) - Method in interface gui.Zoomable
zoomToFactor(double) - Method in class gui.page.Page: Given a factor to scale the Page, scale in x and y directions by that factor.
zoomToFactor(double) - Method in interface gui.Zoomable

A B C D E F G H I J L M N P R S T U V W X Y Z
All Classes and Interfaces|All Packages|Serialized Form