products/sources/formale Sprachen/Isabelle/Tools/jEdit/dist/startup image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: plantuml.xml   Sprache: XML

Original von: Isabelle©

<?xml version="1.0"?>

<!DOCTYPE MODE SYSTEM "xmode.dtd">

<!-- INTERLIS mode (www.interlis.ch) by Claude Eisenhut ([email protected]). -->
<MODE>
 <PROPS>
  <PROPERTY NAME="commentStart" VALUE="/*" />
  <PROPERTY NAME="commentEnd" VALUE="*/" />
  <PROPERTY NAME="blockComment" VALUE="!!" />
 </PROPS>

 <RULES IGNORE_CASE="FALSE" HIGHLIGHT_DIGITS="FALSE">
  <!-- Normal comments. -->
  <SPAN TYPE="COMMENT1">
   <BEGIN>/*</BEGIN>
   <END>*/</END>
  </SPAN>

  <EOL_SPAN TYPE="COMMENT1">!!</EOL_SPAN>

  <SPAN TYPE="LITERAL1" NO_LINE_BREAK="TRUE">
   <BEGIN>"
   <END>"
  </SPAN>

  <!-- Explanations. -->
  <SPAN TYPE="COMMENT2">
   <BEGIN>//</BEGIN>
   <END>//</END>
  </SPAN>

  <!-- INTERLIS 1 -->
  <SEQ TYPE="OPERATOR">-></SEQ>
  <SEQ TYPE="OPERATOR"><-</SEQ>
  <SEQ TYPE="OPERATOR">..</SEQ>
  <SEQ TYPE="OPERATOR">.</SEQ>
  <SEQ TYPE="OPERATOR">,</SEQ>
  <SEQ TYPE="OPERATOR">=</SEQ>
  <SEQ TYPE="OPERATOR">;</SEQ>
  <SEQ TYPE="OPERATOR">:</SEQ>
  <SEQ TYPE="OPERATOR">*</SEQ>
  <SEQ TYPE="OPERATOR">[</SEQ>
  <SEQ TYPE="OPERATOR">]</SEQ>
  <SEQ TYPE="OPERATOR">(</SEQ>
  <SEQ TYPE="OPERATOR">)</SEQ>
  <SEQ TYPE="OPERATOR">></SEQ>
  <!-- INTERLIS 2.1 -->
  <SEQ TYPE="OPERATOR">!=</SEQ>
  <SEQ TYPE="OPERATOR">#</SEQ>
  <SEQ TYPE="OPERATOR">%</SEQ>
  <SEQ TYPE="OPERATOR">(</SEQ>
  <SEQ TYPE="OPERATOR">)</SEQ>
  <SEQ TYPE="OPERATOR">*</SEQ>
  <SEQ TYPE="OPERATOR">,</SEQ>
  <SEQ TYPE="OPERATOR">--</SEQ>
  <SEQ TYPE="OPERATOR">-<#></SEQ>
  <SEQ TYPE="OPERATOR">-<></SEQ>
  <SEQ TYPE="OPERATOR">-></SEQ>
  <SEQ TYPE="OPERATOR">.</SEQ>
  <SEQ TYPE="OPERATOR">..</SEQ>
  <SEQ TYPE="OPERATOR">/</SEQ>
  <SEQ TYPE="OPERATOR">:</SEQ>
  <SEQ TYPE="OPERATOR">:=</SEQ>
  <SEQ TYPE="OPERATOR">;</SEQ>
  <SEQ TYPE="OPERATOR"><</SEQ>
  <SEQ TYPE="OPERATOR"><=</SEQ>
  <SEQ TYPE="OPERATOR"><></SEQ>
  <SEQ TYPE="OPERATOR">=</SEQ>
  <SEQ TYPE="OPERATOR">==</SEQ>
  <SEQ TYPE="OPERATOR">></SEQ>
  <SEQ TYPE="OPERATOR">>=</SEQ>
  <SEQ TYPE="OPERATOR">[</SEQ>
  <SEQ TYPE="OPERATOR">\</SEQ>
  <SEQ TYPE="OPERATOR">]</SEQ>
  <SEQ TYPE="OPERATOR">{</SEQ>
  <SEQ TYPE="OPERATOR">}</SEQ>
  <SEQ TYPE="OPERATOR">~</SEQ>
  
  <KEYWORDS>
   <!-- INTERLIS 1 -->
   <KEYWORD1>ANY</KEYWORD1>
   <KEYWORD1>ARCS</KEYWORD1>
   <KEYWORD1>AREA</KEYWORD1>
   <KEYWORD1>BASE</KEYWORD1>
   <KEYWORD1>BLANK</KEYWORD1>
   <KEYWORD1>CODE</KEYWORD1>
   <KEYWORD1>CONTINUE</KEYWORD1>
   <KEYWORD1>CONTOUR</KEYWORD1>
   <KEYWORD1>COORD2</KEYWORD1>
   <KEYWORD1>COORD3</KEYWORD1>
   <KEYWORD1>DATE</KEYWORD1>
   <KEYWORD1>DEFAULT</KEYWORD1>
   <KEYWORD1>DEGREES</KEYWORD1>
   <KEYWORD1>DERIVATIVES</KEYWORD1>
   <KEYWORD1>DIM1</KEYWORD1>
   <KEYWORD1>DIM2</KEYWORD1>
   <KEYWORD1>DOMAIN</KEYWORD1>
   <KEYWORD1>END</KEYWORD1>
   <KEYWORD1>FIX</KEYWORD1>
   <KEYWORD1>FONT</KEYWORD1>
   <KEYWORD1>FORMAT</KEYWORD1>
   <KEYWORD1>FREE</KEYWORD1>
   <KEYWORD1>GRADS</KEYWORD1>
   <KEYWORD1>HALIGNMENT</KEYWORD1>
   <KEYWORD1>I16</KEYWORD1>
   <KEYWORD1>I32</KEYWORD1>
   <KEYWORD1>IDENT</KEYWORD1>
   <KEYWORD1>LINEATTR</KEYWORD1>
   <KEYWORD1>LINESIZE</KEYWORD1>
   <KEYWORD1>MODEL</KEYWORD1>
   <KEYWORD1>NO</KEYWORD1>
   <KEYWORD1>OPTIONAL</KEYWORD1>
   <KEYWORD1>OVERLAPS</KEYWORD1>
   <KEYWORD1>PERIPHERY</KEYWORD1>
   <KEYWORD1>POLYLINE</KEYWORD1>
   <KEYWORD1>RADIANS</KEYWORD1>
   <KEYWORD1>STRAIGHTS</KEYWORD1>
   <KEYWORD1>SURFACE</KEYWORD1>
   <KEYWORD1>TABLE</KEYWORD1>
   <KEYWORD1>TEXT</KEYWORD1>
   <KEYWORD1>TID</KEYWORD1>
   <KEYWORD1>TIDSIZE</KEYWORD1>
   <KEYWORD1>TOPIC</KEYWORD1>
   <KEYWORD1>TRANSFER</KEYWORD1>
   <KEYWORD1>UNDEFINED</KEYWORD1>
   <KEYWORD1>VALIGNMENT</KEYWORD1>
   <KEYWORD1>VERTEX</KEYWORD1>
   <KEYWORD1>VERTEXINFO</KEYWORD1>
   <KEYWORD1>VIEW</KEYWORD1>
   <KEYWORD1>WITH</KEYWORD1>
   <KEYWORD1>WITHOUT</KEYWORD1>

   <!-- INTERLIS 2.3 -->
   <KEYWORD1>ABSTRACT</KEYWORD1>
   <KEYWORD1>ACCORDING</KEYWORD1>
   <KEYWORD1>AGGREGATES</KEYWORD1>
   <KEYWORD1>AGGREGATION</KEYWORD1>
   <KEYWORD1>ALL</KEYWORD1>
   <KEYWORD1>AND</KEYWORD1>
   <KEYWORD1>ANY</KEYWORD1>
   <KEYWORD1>ANYCLASS</KEYWORD1>
   <KEYWORD1>ANYSTRUCTURE</KEYWORD1>
   <KEYWORD1>ARCS</KEYWORD1>
   <KEYWORD1>AREA</KEYWORD1>
   <KEYWORD1>AS</KEYWORD1>
   <KEYWORD1>ASSOCIATION</KEYWORD1>
   <KEYWORD1>AT</KEYWORD1>
   <KEYWORD1>ATTRIBUTE</KEYWORD1>
   <KEYWORD1>ATTRIBUTES</KEYWORD1>
   <KEYWORD1>BAG</KEYWORD1>
   <KEYWORD1>BASE</KEYWORD1>
   <KEYWORD1>BASED</KEYWORD1>
   <KEYWORD1>BASKET</KEYWORD1>
   <KEYWORD1>BINARY</KEYWORD1>
   <KEYWORD1>BLACKBOX</KEYWORD1>
   <KEYWORD1>BOOLEAN</KEYWORD1>
   <KEYWORD1>BY</KEYWORD1>
   <KEYWORD1>CARDINALITY</KEYWORD1>
   <KEYWORD1>CIRCULAR</KEYWORD1>
   <KEYWORD1>CLASS</KEYWORD1>
   <KEYWORD1>CLOCKWISE</KEYWORD1>
   <KEYWORD1>CONSTRAINT</KEYWORD1>
   <KEYWORD1>CONSTRAINTS</KEYWORD1>
   <KEYWORD1>CONTINUE</KEYWORD1>
   <KEYWORD1>CONTINUOUS</KEYWORD1>
   <KEYWORD1>CONTRACTED</KEYWORD1>
   <KEYWORD1>COORD</KEYWORD1>
   <KEYWORD1>COUNTERCLOCKWISE</KEYWORD1>
   <KEYWORD1>DEFINED</KEYWORD1>
   <KEYWORD1>DEPENDS</KEYWORD1>
   <KEYWORD1>DERIVED</KEYWORD1>
   <KEYWORD1>DIRECTED</KEYWORD1>
   <KEYWORD1>DOMAIN</KEYWORD1>
   <KEYWORD1>END</KEYWORD1>
   <KEYWORD1>ENUMTREEVAL</KEYWORD1>
   <KEYWORD1>ENUMVAL</KEYWORD1>
   <KEYWORD1>EQUAL</KEYWORD1>
   <KEYWORD1>EXISTENCE</KEYWORD1>
   <KEYWORD1>EXTENDED</KEYWORD1>
   <KEYWORD1>EXTENDS</KEYWORD1>
   <KEYWORD1>EXTERNAL</KEYWORD1>
   <KEYWORD1>FINAL</KEYWORD1>
   <KEYWORD1>FIRST</KEYWORD1>
   <KEYWORD1>FORM</KEYWORD1>
   <KEYWORD1>FROM</KEYWORD1>
   <KEYWORD1>FUNCTION</KEYWORD1>
   <KEYWORD1>GRAPHIC</KEYWORD1>
   <KEYWORD1>HALIGNMENT</KEYWORD1>
   <KEYWORD1>HIDING</KEYWORD1>
   <KEYWORD1>IMPORTS</KEYWORD1>
   <KEYWORD1>IN</KEYWORD1>
   <KEYWORD1>INHERITANCE</KEYWORD1>
   <KEYWORD1>INSPECTION</KEYWORD1>
   <KEYWORD1>INTERLIS</KEYWORD1>
   <KEYWORD1>JOIN</KEYWORD1>
   <KEYWORD1>LAST</KEYWORD1>
   <KEYWORD1>LINE</KEYWORD1>
   <KEYWORD1>LIST</KEYWORD1>
   <KEYWORD1>LNBASE</KEYWORD1>
   <KEYWORD1>LOCAL</KEYWORD1>
   <KEYWORD1>MANDATORY</KEYWORD1>
   <KEYWORD1>METAOBJECT</KEYWORD1>
   <KEYWORD1>MODEL</KEYWORD1>
   <KEYWORD1>MTEXT</KEYWORD1>
   <KEYWORD1>NAME</KEYWORD1>
   <KEYWORD1>NOT</KEYWORD1>
   <KEYWORD1>NO</KEYWORD1>
   <KEYWORD1>NULL</KEYWORD1>
   <KEYWORD1>NUMERIC</KEYWORD1>
   <KEYWORD1>OBJECT</KEYWORD1>
   <KEYWORD1>OF</KEYWORD1>
   <KEYWORD1>OID</KEYWORD1>
   <KEYWORD1>ON</KEYWORD1>
   <KEYWORD1>OR</KEYWORD1>
   <KEYWORD1>ORDERED</KEYWORD1>
   <KEYWORD1>OTHERS</KEYWORD1>
   <KEYWORD1>OVERLAPS</KEYWORD1>
   <KEYWORD1>PARAMETER</KEYWORD1>
   <KEYWORD1>PARENT</KEYWORD1>
   <KEYWORD1>PI</KEYWORD1>
   <KEYWORD1>POLYLINE</KEYWORD1>
   <KEYWORD1>PROJECTION</KEYWORD1>
   <KEYWORD1>REFERENCE</KEYWORD1>
   <KEYWORD1>REFSYSTEM</KEYWORD1>
   <KEYWORD1>REQUIRED</KEYWORD1>
   <KEYWORD1>RESTRICTED</KEYWORD1>
   <KEYWORD1>ROTATION</KEYWORD1>
   <KEYWORD1>SET</KEYWORD1>
   <KEYWORD1>SIGN</KEYWORD1>
   <KEYWORD1>STRAIGHTS</KEYWORD1>
   <KEYWORD1>STRUCTURE</KEYWORD1>
   <KEYWORD1>SUBDIVISION</KEYWORD1>
   <KEYWORD1>SURFACE</KEYWORD1>
   <KEYWORD1>SYMBOLOGY</KEYWORD1>
   <KEYWORD1>TEXT</KEYWORD1>
   <KEYWORD1>THATAREA</KEYWORD1>
   <KEYWORD1>THIS</KEYWORD1>
   <KEYWORD1>THISAREA</KEYWORD1>
   <KEYWORD1>TO</KEYWORD1>
   <KEYWORD1>TOPIC</KEYWORD1>
   <KEYWORD1>TRANSIENT</KEYWORD1>
   <KEYWORD1>TRANSLATION</KEYWORD1>
   <KEYWORD1>TYPE</KEYWORD1>
   <KEYWORD1>UNDEFINED</KEYWORD1>
   <KEYWORD1>UNION</KEYWORD1>
   <KEYWORD1>UNIQUE</KEYWORD1>
   <KEYWORD1>UNIT</KEYWORD1>
   <KEYWORD1>UNQUALIFIED</KEYWORD1>
   <KEYWORD1>URI</KEYWORD1>
   <KEYWORD1>VALIGNMENT</KEYWORD1>
   <KEYWORD1>VERSION</KEYWORD1>
   <KEYWORD1>VERTEX</KEYWORD1>
   <KEYWORD1>VIEW</KEYWORD1>
   <KEYWORD1>WHEN</KEYWORD1>
   <KEYWORD1>WHERE</KEYWORD1>
   <KEYWORD1>WITH</KEYWORD1>
   <KEYWORD1>WITHOUT</KEYWORD1>
   
  </KEYWORDS>
 </RULES>
</MODE>

¤ Dauer der Verarbeitung: 0.2 Sekunden  (vorverarbeitet)  ¤





Druckansicht
unsichere Verbindung
Druckansicht
sprechenden Kalenders

Eigene Datei ansehen




schauen Sie vor die Tür

Fenster


Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff