[O] Adding new switch or header

[Phillip Lord]

I am trying to implement a new backend based on the HTML export. I need
to do some post-processing to the source blocks that needs to be
optional. For some blocks I need to replace "[" with "\[" and for some I
don't.

I am not sure whether to use headers or switches.

So

#+begin_src java -s
  student[ 4 ]
#+end_src

would produce html with

  student\[ 4 ]

inside, while

#+begin_src java
  student[ 4 ]
#+end_src

would produce just

  student[ 4 ]


Is it possible to add new switches? And in the exporter how do I know
which switches are present on a block?

Phil