Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: overture.sty Sprache: Latech

Original von: VDM^©

\usepackage{longtable}
\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}

% use package for VDM language definition
\usepackage{overturelanguagedef}
% Define Overture listing for The VDM language
\lstdefinestyle{overtureLanguageStyle}{basicstyle=\ttfamily,
   frame=trBL,
% numbers=left,
% gobble=0,
   showstringspaces=false,
% linewidth=\textwidth,
   frameround=fttt,
   aboveskip=5mm,
   belowskip=5mm,
   framexleftmargin=0mm,
   framexrightmargin=0mm}
% Set escape for inserting coverage macros
\lstset{escapeinside=!!}
% Set the default style for lstlistings
\lstset{style=overtureLanguageStyle}

% Custom macro used to color uncoverage model parts in listings
\newcommand{\notcovered}[1]{\textcolor{notovered}{#1}}

% Environment definition for VDM blocks
%  The listing style is reset to overture and the language is set to the active one in the project where the model has been generated from.
\lstnewenvironment{vdm_al}{\lstset{style=overtureLanguageStyle}\lstset{language=OVERTURE_LANGUAGE}}
{}

% Environment definition for test coverage use by VDM Tools
\lstnewenvironment{rtinfo}{}
{}

¤ Dauer der Verarbeitung: 0.14 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
in der Quellcodebibliothek suchen

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.