code: public static int stencilOperationToGL(
      final JCGLStencilOperation op)
    {
      switch (op) {
        case STENCIL_OP_DECREMENT:
          return GL.GL_DECR;
        case STENCIL_OP_DECREMENT_WRAP:
          return GL.GL_DECR_WRAP;
        case STENCIL_OP_INCREMENT:
          return GL.GL_INCR;
        case STENCIL_OP_INCREMENT_WRAP:
          return GL.GL_INCR_WRAP;
        case STENCIL_OP_INVERT:
          return GL.GL_INVERT;
        case STENCIL_OP_KEEP:
          return GL.GL_KEEP;
        case STENCIL_OP_REPLACE:
          return GL.GL_REPLACE;
        case STENCIL_OP_ZERO:
          return GL.GL_ZERO;
      }
  
      throw new UnreachableCodeException();
    }
docs: Convert stencil ops to GL constants.
  
  @param op The op.
  
  @return The resulting GL constant.