push method

dynamic push(
  1. dynamic object,
  2. dynamic priority
)

Implementation

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