package io.lp0onfire.smtnes.smt2;

import java.util.Arrays;
import java.util.LinkedList;
import java.util.List;

public abstract class ExpressionList extends SExpression {

  private List<SExpression> exprs = new LinkedList<SExpression>();
  public List<SExpression> getExprs() {
    return this.exprs;
  }
  public void setExprs(SExpression... values) {
    exprs = new LinkedList<SExpression>(Arrays.asList(values));
  }
  
  @Override
  public String toString() {
    StringBuilder sb = new StringBuilder();
    sb.append("(");
    for (SExpression expr : exprs) {
      sb.append(" ");
      sb.append(expr.toString());
    }
    sb.append(" )");
    return sb.toString();
  }
  
}

@@ -117,17 +117,8 @@
 lic 
-abstract 
 clas
@@ -167,16 +167,22 @@
 private 
+final 
 List%3CSEx
@@ -200,40 +200,8 @@
 xprs
- = new LinkedList%3CSExpression%3E()
 ;%0A  
@@ -265,16 +265,19 @@
 rs;%0A  %7D%0A
+  %0A
   public
@@ -281,21 +281,22 @@
 lic 
-void setExprs
+ExpressionList
 (SEx

make ExpressionList non-abstract