\usepackage{times}
\usepackage{graphics}
\usepackage[pdftex,dvipsnames]{color}
%\definecolor{notovered}{rgb}{1,0,0}  %red
% definition of VDM++, JavaCC, JJTree, JTB, ANTLR and SableCC for listings
\usepackage{listings}
\include{customlangdef}
% define the layout for listings
\lstdefinestyle{tool}{basicstyle=\ttfamily,
                         frame=trBL, 
    showstringspaces=false, 
    frameround=ffff, 
    framexleftmargin=0mm, 
    framexrightmargin=0mm}
\lstdefinestyle{mystyle}{basicstyle=\ttfamily,
                         frame=trBL, 
%                         numbers=left, 
%  gobble=0, 
    showstringspaces=false, 
%  linewidth=\textwidth, 
    frameround=fttt, 
    aboveskip=5mm,
    belowskip=5mm,
    framexleftmargin=0mm, 
    framexrightmargin=0mm}
%\lstdefinestyle{mystyle}{basicstyle=\sffamily\small,
%  frame=tb,
%                         numbers=left,
%  gobble=0,
%  showstringspaces=false,
%  linewidth=345pt,
%  frameround=ffff,
%  framexleftmargin=8mm,
%  framexrightmargin=8mm,
%  framextopmargin=1mm,
%  framexbottommargin=1mm,
%  aboveskip=7mm,
%  belowskip=5mm,
%  xleftmargin=10mm,}

\lstset{style=mystyle}
\lstset{language=VDM++}
\lstset{alsolanguage=Java}
% The command below enables you to escape into normal LaTeX mode inside your 
% VDM chunks by starting with a `!´ character and ending with a `!´
\lstset{escapeinside=!!}


\newcommand{\notcovered}[1]{\textcolor{red}{#1}}
\lstnewenvironment{vdm_al}{\lstset{language=VDM++}}
{}