ILIAS  trunk Revision v13.0_alpha-62-g3b72d83f2e5
Glyph.php
Go to the documentation of this file.
1<?php
2
19declare(strict_types=1);
20
22
25
26interface Glyph extends Symbol
27{
28 // Types of glyphs:
29 public const SETTINGS = "settings";
30 public const EXPAND = "expand";
31 public const COLLAPSE = "collapse";
32 public const COLLAPSE_HORIZONTAL = "collapsehorizontal";
33 public const ADD = "add";
34 public const REMOVE = "remove";
35 public const UP = "up";
36 public const DOWN = "down";
37 public const BACK = "back";
38 public const NEXT = "next";
39 public const SORT_ASCENDING = "sortAscending";
40 public const SORT_DESCENDING = "sortDescending";
41 public const USER = "user";
42 public const MAIL = "mail";
43 public const NOTIFICATION = "notification";
44 public const TAG = "tag";
45 public const NOTE = "note";
46 public const COMMENT = "comment";
47 public const BRIEFCASE = "briefcase";
48 public const LIKE = "like";
49 public const LOVE = "love";
50 public const DISLIKE = "dislike";
51 public const LAUGH = "laugh";
52 public const ASTOUNDED = "astounded";
53 public const SAD = "sad";
54 public const ANGRY = "angry";
55 public const EYEOPEN = "eyeopen";
56 public const EYECLOSED = "eyeclosed";
57 public const ATTACHMENT = "attachment";
58 public const RESET = "reset";
59 public const APPLY = "apply";
60 public const SEARCH = "search";
61 public const HELP = "help";
62 public const CALENDAR = "calendar";
63 public const TIME = "time";
64 public const CLOSE = "close";
65 public const MORE = "more";
66 public const DISCLOSURE = "disclosure";
67 public const LANGUAGE = "language";
68 public const LOGIN = "login";
69 public const LOGOUT = "logout";
70 public const BULLETLIST = "bulletlist";
71 public const NUMBEREDLIST = "numberedlist";
72 public const LISTINDENT = "listindent";
73 public const LISTOUTDENT = "listoutdent";
74 public const FILTER = "filter";
75 public const HEADER = "header";
76 public const BOLD = "bold";
77 public const ITALIC = "italic";
78 public const LINK = "link";
79 public const LAUNCH = "launch";
80 public const ENLARGE = "enlarge";
81 public const LIST_VIEW = "listView";
82 public const PREVIEW = "preview";
83 public const SORT = "sort";
84 public const COLUMN_SELECTION = "columnSelection";
85 public const TILE_VIEW = "tileView";
86 public const DRAG_HANDLE = "dragHandle";
87 public const CHECKED = "checked";
88 public const UNCHECKED = "unchecked";
89 public const PRESENTER = "presenter";
90 public const OWNER = "owner";
91 public const DATE = "date";
92 public const LOCATION = "location";
93 public const COPY = 'copy';
94 public const QR_CODE = 'qrCode';
95 public const SHARE = 'share';
96
100 public function withLabel(string $label): Glyph;
101
105 public function getType(): string;
106
112 public function getCounters(): array;
113
120 public function withCounter(Counter $counter): Glyph;
121
125 public function isHighlighted(): bool;
126
130 public function withHighlight(): Glyph;
131}
This tags a counter object.
Definition: Counter.php:29
withLabel(string $label)
Override the default label text with a more specific one.
withHighlight()
Get a Glyph like this with a highlight.
getCounters()
Get all counters attached to this glyph.
withCounter(Counter $counter)
Get a glyph like this, but with a counter on it.
getType()
Get the type of the glyph.
isHighlighted()
Returns whether the Glyph is highlighted.
This describes a symbol.
Definition: Symbol.php:30