Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Android/dalvik/dalvik/dx/tests/002-minimal-valid/   (Android Betriebssystem Version 17©)  Datei vom 26.5.2026 mit Größe 996 B image not shown  

Quelle  expected.txt

  Sprache: Text
 

reading small-class.txt...
begin classfile
magic: cafebabe
minor_version: 0000
major_version: 002e
constant_pool_count: 000a

constant_pool:
  0001: method{java.lang.Object.<init>:()V}
  0002: type{Small}
  0003: type{java.lang.Object}
  0004: utf8{"<init>"}
  0005: utf8{"()V"}
  0006: utf8{"Code"}
  0007: nat{<init>:()V}
  0008: utf8{"Small"}
  0009: utf8{"java/lang/Object"}
end constant_pool
access_flags: public|super
this_class: type{Small}
super_class: type{java.lang.Object}
interfaces_count: 0000
fields_count: 0000
methods_count: 0001

methods[0]:
  access_flags: public
  name: <init>
  descriptor: ()V
  attributes_count: 0001
  
  attributes[0]:
    name: Code
    length: 00000011
    max_stack: 0001
    max_locals: 0001
    code_length: 00000005
    0000: aload_0 // 00
    0001: invokespecial method{java.lang.Object.<init>:()V}
    0004: return
    exception_table_length: 0000
    attributes_count: 0000
  end attributes[0]
end methods[0]
attributes_count: 0000
end classfile

Messung V0.5 in Prozent
C=98 H=98 G=97

¤ Dauer der Verarbeitung: 0.1 Sekunden  (vorverarbeitet am  2026-06-27) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

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 und die Messung sind noch experimentell.