public class Loader extends Object
Modifier and Type | Field and Description |
---|---|
protected File |
file |
protected Format |
format |
protected String |
fromString |
protected boolean |
gzipped |
protected boolean |
haveFormat |
protected boolean |
haveSrc |
protected InputStream |
is |
protected URL |
url |
Constructor and Description |
---|
Loader() |
Modifier and Type | Method and Description |
---|---|
Loader |
format(Format fmt) |
Loader |
from(File file) |
Loader |
from(InputStream is) |
Loader |
from(String path) |
Loader |
from(URL url) |
Loader |
fromString(String json) |
Loader |
gzipped(boolean flag) |
BdocDocument |
load_bdoc() |
ChangeLog |
load_log() |
protected Format format
protected boolean haveSrc
protected boolean haveFormat
protected boolean gzipped
protected File file
protected URL url
protected InputStream is
protected String fromString
public Loader from(InputStream is)
public Loader gzipped(boolean flag)
public BdocDocument load_bdoc()
public ChangeLog load_log()
Copyright © 2021 GATE. All rights reserved.