"Fossies" - the Fresh Open Source Software Archive

Member "vera-1.24/vera.j" (3 Aug 2020, 9511 Bytes) of package /linux/misc/vera-1.24.tar.gz:


As a special service "Fossies" has tried to format the requested source page into HTML format using (guessed) Jasmin source code syntax highlighting (style: standard) with prefixed line numbers. Alternatively you can here view or download the uninterpreted source code file. See also the latest Fossies "Diffs" side-by-side code changes report for "vera.j": 1.23_vs_1.24.

    1 @c -*-texinfo-*-
    2 @c This is part of the GNU edition of V.E.R.A.
    3 @c Copyright (C) 1993/2020 Oliver Heidelbach
    4 @c See the file vera.texi for copying conditions.
    5 @c 
    6 @c Syntax:
    7 @c ACRONYM
    8 @c Expansion[ (Reference)][, "Style"]
    9 @c Additional explanations are included in [square brackets]
   10 
   11 @table @asis
   12 @item J2EE
   13 Java 2 Enterprise Edition (Java, Sun)
   14 
   15 @item J2ME
   16 Java 2 Micro Edition (Java, Sun)
   17 
   18 @item J2SE
   19 Java 2 Standard Edition (Java, Sun)
   20 
   21 @item JAAS
   22 Java Authentication and Authorization Service (Java, API)
   23 
   24 @item JACC
   25 Java Authorization Contract for Containers (Java)
   26 
   27 @item JACK
   28 Java Application Component Kit (Java)
   29 
   30 @item JACM
   31 Journal of the Association for Computing Machinery (ACM)
   32 
   33 @item JAD
   34 Joint Application Development
   35 
   36 @item JADE
   37 Jasmine Application Development Environment (Jasmine, DB, CA)
   38 
   39 @item JAE
   40 Java Application Environment (Java, Sun, JDK)
   41 
   42 @item JAIN
   43 Java API for Integrated Networks (Java, API)
   44 
   45 @item JANET
   46 Joint Academic NETwork (network, UK)
   47 
   48 @item JAOO
   49 Java and Object Orientation [conference]
   50 
   51 @item JAP
   52 Java Anon Proxy (Java)
   53 
   54 @item JAPH
   55 Just Another PERL Hacker (PERL)
   56 
   57 @item JAR
   58 Java ARchive (Java)
   59 
   60 @item JARS
   61 Java Applet Rating Service (Java, WWW)
   62 
   63 @item JASS
   64 Javascript-Accessable Style Sheets (HTML, WWW, JavaScript)
   65 
   66 @item JASS
   67 Jumpstart Architecture and Security Scripts (Sun, Solaris)
   68 
   69 @item JAVAOS
   70 Java Operating System (Java), "JavaOS"
   71 
   72 @item JAX
   73 [Konferenz fuer] Java, Apache, XML (conference, Java, Apache, XML)
   74 
   75 @item JAX
   76 Java API for XML (Java, API, XML)
   77 
   78 @item JAXB
   79 Java API for XML Binding (Java, API, XML)
   80 
   81 @item JAXM
   82 Java API for XML Messaging (Java, XML, API)
   83 
   84 @item JAXP
   85 Java API for XML Processing (Java, API, XML, JSR 206)
   86 
   87 @item JAXR
   88 Java API for XML Registries (Java, XML, API), "JAX-R"
   89 
   90 @item JAXRPC
   91 Java API for XML-based Remote Procedure Calls (Java, API, XML, RPC), "JAX-RPC"
   92 
   93 @item JAXWS
   94 Java API for XML-based Web Services (JAX-RPC, Java), "JAX-WS"
   95 
   96 @item JB
   97 Jelly Bean (Android, OS)
   98 
   99 @item JBB
  100 Java Business Benchmark (SPEC, Java)
  101 
  102 @item JBC
  103 J# Browser Controls (MS, .NET, Java)
  104 
  105 @item JBI
  106 Java Business Integration (Java, JSR 208)
  107 
  108 @item JBIG
  109 Joint Bi-level Image expert Group (org., JTC1)
  110 
  111 @item JBOD
  112 Just a Bunch Of Disks (HDD)
  113 
  114 @item JBOF
  115 Just a Bunch Of Flash
  116 
  117 @item JCA
  118 Java Cryptography Architecture (Java, API, cryptography)
  119 
  120 @item JCALS
  121 Joint Computer-Aided Logistics System (CAL)
  122 
  123 @item JCB
  124 Job Control Block (BS2000)
  125 
  126 @item JCDW
  127 Java Callable Data Wrapper (Java)
  128 
  129 @item JCE
  130 Java Cryptographic / Cryptography Extension (Java, JCA)
  131 
  132 @item JCF
  133 JESSI Common Framework
  134 
  135 @item JCK
  136 Java Compatibility Kit (Java, Sun)
  137 
  138 @item JCL
  139 Job Control Language (IBM, OS/360)
  140 
  141 @item JCO
  142 Java COnnector (SAP, R/3, Java, JNI)
  143 
  144 @item JCP
  145 Java Community Process (Java, Sun)
  146 
  147 @item JCR
  148 Java Content Repository (Java, API, JSR 170)
  149 
  150 @item JCSS
  151 ??? (org.)
  152 
  153 @item JCW
  154 Java Callable Wrapper (MS, Java, VM, COM)
  155 
  156 @item JDBC
  157 Java standard DataBase Connectivity (DB, Java, Sun, Borland, ODBC, API)
  158 
  159 @item JDK
  160 Java Development Kit (Sun, Java)
  161 
  162 @item JDO
  163 Java Data Objects (Java, JSR 12)
  164 
  165 @item JDOM
  166 Java Document Object Model (Java)
  167 
  168 @item JDS2
  169 Java Desktop System 2 (Sun, Linux, Java)
  170 
  171 @item JDT
  172 Java Development Tooling (Java, Eclipse)
  173 
  174 @item JDWP
  175 Java Debug Wire Protocol (Java)
  176 
  177 @item JECL
  178 Jabber External Component Libraries (Jabber, API)
  179 
  180 @item JED
  181 Joomla! Extensions Directory (Joomla)
  182 
  183 @item JEDEC
  184 Joint Electronic Devices Engineering Council (org.)
  185 
  186 @item JEE
  187 Java Enterprise Edition (J2EE, Java, Sun)
  188 
  189 @item JEIDA
  190 Japan Electronics Industry Development Association (org., Japan)
  191 
  192 @item JEITA
  193 Japan Electronics and Information Technology industries Association (org. Japan)
  194 
  195 @item JELD
  196 Java Event List Daemon (Java)
  197 
  198 @item JEM
  199 Java Eclipse Modeling Framework Model (Java, EMF, Eclipse, WTP)
  200 
  201 @item JEMS
  202 Jboss Enterprise Middleware System
  203 
  204 @item JES
  205 Java Enterprise System (Sun, Java)
  206 
  207 @item JES
  208 Job Entry Subsystem (IBM)
  209 
  210 @item JESS
  211 Java Expert System Shell (Java, Shell)
  212 
  213 @item JESSI
  214 Joint European Submicron Silicon Initiative (Org, Europe)
  215 
  216 @item JET
  217 Java Emitter Templates (Java, EMF)
  218 
  219 @item JET
  220 Joint Engineering Team
  221 
  222 @item JFC
  223 Java Foundation Classes (Java, API, AWT)
  224 
  225 @item JFET
  226 Junction Field Effect Transistor (IC, FET)
  227 
  228 @item JFFS
  229 Journaling Flash File System (FS, Flash)
  230 
  231 @item JFIF
  232 JPEG File Interchange Format (JPEG)
  233 
  234 @item JFS
  235 Journaled File System (IBM, HP, FS)
  236 
  237 @item JFS
  238 Journalized File System
  239 
  240 @item JFT
  241 Job File Table (DOS)
  242 
  243 @item JICST
  244 Japan Information Center of Science and Technology (org., Japan)
  245 
  246 @item JIEO
  247 Joint Interoperability Engineering Organization (org., DISA, mil., USA)
  248 
  249 @item JIF
  250 JPEG Interchange Format (JPEG)
  251 
  252 @item JIG
  253 Jabber Interest Group (Jabber)
  254 
  255 @item JIPDEC
  256 Japan Information Processing DEvelopment Center (org., Japan)
  257 
  258 @item JIPS
  259 JANET Internet Protocol Service (JANET)
  260 
  261 @item JIS
  262 Japanese Institute of Standards (org., Japan)
  263 
  264 @item JISC
  265 Japanese Industrial Standards Committee (org., Japan)
  266 
  267 @item JIT
  268 Just In Time [compiler]
  269 
  270 @item JITC
  271 Joint Interoperability Technology Center (org., DISA, mil.)
  272 
  273 @item JK
  274 Just Kidding (telecommunication, Usenet, IRC)
  275 
  276 @item JLCA
  277 Java Language Conversion Assistant (MS, Java, .NET)
  278 
  279 @item JM
  280 Joint Model (AVC)
  281 
  282 @item JMAPI
  283 Java Management API (Java, API)
  284 
  285 @item JMF
  286 Java Media Format (Java)
  287 
  288 @item JMI
  289 Java Metadata Interface (Java)
  290 
  291 @item JMM
  292 Java Memory Model (Java)
  293 
  294 @item JMS
  295 Java Messages Service (Java, API)
  296 
  297 @item JMSC
  298 Japanese MIDI Standard Committee (org., Japan)
  299 
  300 @item JMSWG
  301 Joint Multi-TADIL Standards Working Group (org., mil., TADIL)
  302 
  303 @item JMX
  304 Java Management eXtensions (Java)
  305 
  306 @item JND
  307 Just Noticeable Difference (video)
  308 
  309 @item JNDI
  310 Java Naming and Directory Interface (JavaSoft, API, Java)
  311 
  312 @item JNI
  313 Java Native method Interface (Java, API)
  314 
  315 @item JNSS
  316 ??? (org.)
  317 
  318 @item JNT
  319 Java Network Technology (Java, Informatec)
  320 
  321 @item JODS
  322 Jasmine Object Database Server (Jasmine, DB, CA)
  323 
  324 @item JOHNNIAC
  325 JOHN von Neumann Integrator and Automatic Computer
  326 
  327 @item JOL
  328 Journal of Online Law (WWW)
  329 
  330 @item JOLT
  331 Java OnLine Transactions (Java, Bea, OLTP)
  332 
  333 @item JOOP
  334 Journal of Object Orientated Programming (OOP)
  335 
  336 @item JOSL
  337 Jabber Open Source License (Jabber)
  338 
  339 @item JOSS
  340 JOHNNIAC Open Shop System (OS, JOHNNIAC)
  341 
  342 @item JOSS
  343 Joint Object Services Submission
  344 
  345 @item JOTS
  346 Joint Operational Tactical System (mil.)
  347 
  348 @item JOVE
  349 Jonathan's Own Version of EMACS (EMACS)
  350 
  351 @item JOVIAL
  352 Jules Own Version of the International Algorithmic Language
  353 
  354 @item JPA
  355 Java Persistence API (Java, API, JEE, EJB)
  356 
  357 @item JPEG
  358 Joint Photographics Expert Group (org., JTC1, RFC 1521, JPEG)
  359 
  360 @item JPLDIS
  361 Jet Propulsion Laboratory Display Information System
  362 
  363 @item JPM
  364 Java Package Manager (MS, Java, VM)
  365 
  366 @item JPS
  367 Java Print Service (Java)
  368 
  369 @item JRE
  370 Java Runtime Environment (Java)
  371 
  372 @item JRMP
  373 Java Remote Method Protocol (Java)
  374 
  375 @item JRPG
  376 Japanese Role Playing Game (RPG)
  377 
  378 @item JSA
  379 Japanese Standards Association (org., Japan)
  380 
  381 @item JSA
  382 Juristische StandardAntwort (slang, Usenet)
  383 
  384 @item JSAI
  385 Japanese Society for Artificial Intelligence (org., Japan)
  386 
  387 @item JSAN
  388 Joint Staff Automation of the Nineties (mil.)
  389 
  390 @item JSD
  391 Jackson System Development (JSP)
  392 
  393 @item JSDK
  394 Java Servlet Development Kit (Java, Sun)
  395 
  396 @item JSF
  397 JavaServer Faces (Java, J2EE)
  398 
  399 @item JSME
  400 Japan Society of Mechanical Engineering (org., Japan)
  401 
  402 @item JSON
  403 JavaScript Object Notation (JavaScript, JSON)
  404 
  405 @item JSP
  406 Jackson Structured Programming (JSD)
  407 
  408 @item JSP
  409 Java Server Pages (Java, Sun, JSP)
  410 
  411 @item JSPA
  412 Java Specification Participation Agreement (Java, JCP)
  413 
  414 @item JSPE
  415 Japan Society of Professional Engineers (org., Japan)
  416 
  417 @item JSR
  418 Java Specification Request (Java, JCP)
  419 
  420 @item JSSA
  421 Japan Society for System Audits (org., JIPDEC, Japan)
  422 
  423 @item JSSE
  424 Java Secure Socket Extension (Java, API)
  425 
  426 @item JST
  427 Japan Standard Time [+0900] (TZ)
  428 
  429 @item JSTL
  430 JSP Standard Tag Library (Java, JSP, WSDP)
  431 
  432 @item JT
  433 Java Time [+0730] (TZ)
  434 
  435 @item JTA
  436 Java Transaction API (Java, API)
  437 
  438 @item JTA
  439 Joint Technical Architecture (JIEO, mil.)
  440 
  441 @item JTAG
  442 Joint Test Action Group (org., IC)
  443 
  444 @item JTB
  445 Jump Trace Buffer (CPU)
  446 
  447 @item JTBP
  448 Job To Be Processed [block] (BS2000)
  449 
  450 @item JTBPX
  451 Job To Be Processed [block] eXtension (BS2000)
  452 
  453 @item JTC1
  454 Joint Technical Committee 1 (ISO, IEC, IT)
  455 
  456 @item JTM
  457 Job Transfer and Manipulation (ISO 8831/32)
  458 
  459 @item JTMS
  460 Justification based Truth Maintenance System (AI)
  461 
  462 @item JTS
  463 Java Transaction Services (Java, API)
  464 
  465 @item JTSSG
  466 Joint Telecommunications Standards Steering Group (mil.)
  467 
  468 @item JTWI
  469 Java Technology for Wireless Industry (Java, JSR-185)
  470 
  471 @item JUGHEAD
  472 Jonzy's Universal Gopher Hierarchy Excavation And Display
  473 
  474 @item JUI
  475 Joomla User Interface
  476 
  477 @item JUMBO
  478 Java Universal Molecular Browser for Objects (XML)
  479 
  480 @item JUMP
  481 JUelich MultiProcessor (IBM)
  482 
  483 @item JUNET
  484 Japan Unix NETwork (network, Unix)
  485 
  486 @item JURIS
  487 JURistisches InformationsSystem
  488 
  489 @item JV
  490 JobVariablen (BS2000)
  491 
  492 @item JVC
  493 J++ Visual Compiler (MS, Java)
  494 
  495 @item JVET
  496 Joint Video Exploration Team (org., ITU)
  497 
  498 @item JVIDS
  499 Joint Visually Integrated Display System (mil.)
  500 
  501 @item JVM
  502 Java Virtual Machine (Java)
  503 
  504 @item JVMPI
  505 Java Virtual Machine Profiling Interface (Java, JDK)
  506 
  507 @item JVMTI
  508 Java Virtual Machine Tool Interface (Java, JVM, J2SE)
  509 
  510 @item JVT
  511 Joint Video Team (ITU-T, ISO, IEC, MPEG)
  512 
  513 @item JWE
  514 JSON Web Encryption (JSON)
  515 
  516 @item JWICS
  517 Joint Worldwide Intelligence Communications System (mil.)
  518 
  519 @item JWS
  520 Java Web Services (Java)
  521 
  522 @item JWS
  523 Java Web Start (Java, IBM)
  524 
  525 @item JWS
  526 Javadoc extensions for Web Services (BEA, Java)
  527 
  528 @item JWS
  529 JSON Web Signature (JSON)
  530 
  531 @item JWT
  532 JSON Web Token (JSON)
  533 
  534 @end table
  535