push method
dynamic
push(
- dynamic object,
- dynamic priority
Implementation
push(object, priority) {
this.contents.add({ 'object': object, 'priority': priority});
this.sorted = false;
}