ILIAS  trunk Revision v12.0_alpha-1338-g8f7e531aa3c
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
93 public function getType(): string;
94
100 public function getCounters(): array;
101
109
113 public function isHighlighted(): bool;
114
118 public function withHighlight(): Glyph;
119}
This tags a counter object.
Definition: Counter.php:29
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
$counter