Synopsis

public class Coverage {
    public                              Coverage                  (  ) ;


    public    weak Coverage             copy                      (  ) ;
    public    static weak Coverage      from_bytes                ( uchar[]             bytes ) ;
    public    CoverageLevel             get                       ( int                 index_ ) ;
    public    void                      max                       ( Coverage            other ) ;
    public    void                      set                       ( int                 index_,
                                                                    CoverageLevel       level ) ;
    public    void                      to_bytes                  ( uchar[]             bytes ) ;
}

Coverage Description

Details

Constructor Details

Coverage ()

    public                              Coverage                  (  ) ;		

Field Details

Signal Details

Property Details

Method Details

copy ()

    public    weak Coverage             copy                      (  ) ;		

from_bytes ()

    public    static weak Coverage      from_bytes                ( uchar[]             bytes ) ;		

get ()

    public    CoverageLevel             get                       ( int                 index_ ) ;		

max ()

    public    void                      max                       ( Coverage            other ) ;		

set ()

    public    void                      set                       ( int                 index_,
                                                                    CoverageLevel       level ) ;		

to_bytes ()

    public    void                      to_bytes                  ( uchar[]             bytes ) ;		

Created by Valadoc