public interface SourceFragment
java.lang.String
getSourceCode()
java.lang.String getSourceCode()
Copyright © 2007–2021 Inria. All rights reserved.