langs.sty
changeset 680 242c1f0e60df
parent 647 d74702cba346
child 690 562fcdb1ae89
equal deleted inserted replaced
679:9a4404f65b63 680:242c1f0e60df
    66 
    66 
    67 \lstdefinelanguage{JVMIS2}{
    67 \lstdefinelanguage{JVMIS2}{
    68   morekeywords={ldc,iload,istore,ifeq,if_icmpge},
    68   morekeywords={ldc,iload,istore,ifeq,if_icmpge},
    69 }[keywords]
    69 }[keywords]
    70 
    70 
       
    71 \lstdefinelanguage{LLVMIR}{
       
    72   otherkeywords={let,in,add,mul},
       
    73 }[strings]
    71 
    74 
    72 \newcommand{\code}[1]{{\lstinline{#1}}}
    75 \newcommand{\code}[1]{{\lstinline{#1}}}
    73 \newcommand{\pcode}[1]{\mbox{\lstset{language={},keywordstyle=\color{black}}\lstinline!#1!}}
    76 \newcommand{\pcode}[1]{\mbox{\lstset{language={},keywordstyle=\color{black}}\lstinline!#1!}}
    74 \newcommand{\scode}[1]{\mbox{\lstset{language={},basicstyle=\ttfamily\color{codegreen}}\lstinline!#1!}}
    77 \newcommand{\scode}[1]{\mbox{\lstset{language={},basicstyle=\ttfamily\color{codegreen}}\lstinline!#1!}}
    75 \makeatother
    78 \makeatother