pop method

ConfigurationElement? pop()

Implementation

ConfigurationElement? pop() {

  if (configuration_stack.size() > 0) {
    var index = configuration_stack.size() - 1;
    var configuration =
        configuration_stack.get(index) as ConfigurationElement;
    configuration.act = prs.baseAction(configuration.conflict_index++);
    if (prs.baseAction(configuration.conflict_index) == 0) {
      configuration_stack.reset(index);
    }
    return configuration;
  }

  return null;
}