package edu.iastate.cs.design.spec.export;

import boa.types.Spec;

import java.util.List;

public class JmlToBoa {

    public static List<Spec.Specification> JmlToBoaProtobuf(String jml) {
        // TODO
        return null;
    }
    
}

Add skeleton class for exporting Boa specs
Add skeleton class for exporting Boa specs
