Method push

src/api/java/ASTVector.java:70–73

Add the AST a to the back of the vector. The size is increased by 1. @param a An AST

(AST a)

     * @param a An AST
     **/
    public void push(AST a)
    {
        Native.astVectorPush(getContext().nCtx(), getNativeObject(), a.getNativeObject());
    }

    /**
     * Translates all ASTs in the vector to {@code ctx}.