Home | History | Annotate | Download | only in tests 
      1 package org.checkerframework.checker.tainting.qual:
      2 annotation @Tainted:
      3 
      4 package :
      5 class Abbreviation:
      6     method <init>(Ljava/lang/Object;)V:
      7         parameter 0:
      8             type: @org.checkerframework.checker.tainting.qual.Tainted
      9 
     10