How to use

getFileSystem

method

in

manifold.api.host.IManifoldHost

default IFileSystem getFileSystem()
{
 return getHost().getFileSystem();
}

protected IDirectory getIResourceFromJavaFile( URL location )
{
 return getHost().getFileSystem().getIDirectory( getFileFromURL( location ) );
}

IFile getIResourceFromJavaFile( URL location )
{
 return getHost().getFileSystem().getIFile( getFileFromURL( location ) );
}

private String getTypeForFile( JavaFileObject file )
{
 URI uri = file.toUri();
 if( !uri.getScheme().equalsIgnoreCase( "file" ) )
 {
  return makeTypeName( file.getName() );
 }
 IFile iFile = getHost().getFileSystem().getIFile( new File( file.getName() ) );
 List<IDirectory> sourcePath = getHost().getSingleModule().getSourcePath();
 for( IDirectory dir : sourcePath )
 {
  if( iFile.isDescendantOf( dir ) )
  {
   return makeTypeName( iFile.getName().substring( dir.getName().length() ) );
  }
 }
 throw new IllegalStateException( "Could not infer type name from: " + file.getName() );
}

Set<IFile> changes = changedFiles.stream().map( ( File f ) -> host.getFileSystem().getIFile( f ) )
 .collect( Collectors.toSet() );
for( ITypeManifold tm: host.getSingleModule().getTypeManifolds() )

Set<IFile> changes = changedFiles.stream().map( ( File f ) -> host.getFileSystem().getIFile( f ) )
 .collect( Collectors.toSet() );
for( ITypeManifold tm: host.getSingleModule().getTypeManifolds() )

IFile file = _host.getFileSystem().getIFile( url );
input = file.openInputStream();