Code example for ArrayDeque

Methods: push

0
    return new SeplogicPrecisionAdjustment(); 
  } 
 
  @Override 
  public AbstractState getInitialState(CFANode pNode) {
    Deque<String> namespaces = new ArrayDeque<>();
    namespaces.push("main");
    return new SeplogicState(PartingstarInterface.getInstance().makeEmp(), namespaces);
  } 
 
  @Override 
  public Precision getInitialPrecision(CFANode pNode) {
    return SingletonPrecision.getInstance(); 
  } 
 
  @Override 
  public void collectStatistics(Collection<Statistics> pStatsCollection) {
    pStatsCollection.add(stats);
  } 
 
Experience pair programming with AI  Get Codota for Java