JExpression[] dims = ((CArrayType)s).getDims(); if (dims != null) for (int i = 0; i < dims.length; i++) { p.print("["); dims[i].accept(this); p.print("]"); } else for (int i = 0; i < ((CArrayType)s).getArrayBound(); i++) p.print("*");
for (int i = 0; i < ((CArrayType)s).getArrayBound(); i++) p.print("*");
    protected void typePrint(CType s) {        if (s instanceof CArrayType)        {            typePrint(((CArrayType)s).getBaseType());            JExpression[] dims = ((CArrayType)s).getDims();            if (dims != null)                for (int i = 0; i < dims.length; i++)                    {                        p.print("[");                        dims[i].accept(this);                        p.print("]");                    }            else                for (int i = 0; i < ((CArrayType)s).getArrayBound(); i++)                    p.print("*");        }        else if (s.getTypeID() == TID_BOOLEAN)            p.print("int");        else if (s.toString().endsWith("Portal"))            // ignore the specific type of portal in the C library            p.print("portal");        else            p.print(s.toString());    }