06ed5b3d2f
To minimize output when running tests. Change-Id: Ia97c93cae31722d780ebf9714c6e508bb1630274
91 lines
2.8 KiB
Java
91 lines
2.8 KiB
Java
// Copyright (C) 2011 The Android Open Source Project
|
|
//
|
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
|
// you may not use this file except in compliance with the License.
|
|
// You may obtain a copy of the License at
|
|
//
|
|
// http://www.apache.org/licenses/LICENSE-2.0
|
|
//
|
|
// Unless required by applicable law or agreed to in writing, software
|
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
// See the License for the specific language governing permissions and
|
|
// limitations under the License.
|
|
|
|
package com.google.gerrit.pgm;
|
|
|
|
import com.google.gerrit.pgm.util.AbstractProgram;
|
|
import com.googlecode.prolog_cafe.exceptions.HaltException;
|
|
import com.googlecode.prolog_cafe.lang.BufferingPrologControl;
|
|
import com.googlecode.prolog_cafe.lang.Prolog;
|
|
import com.googlecode.prolog_cafe.lang.PrologClassLoader;
|
|
import com.googlecode.prolog_cafe.lang.SymbolTerm;
|
|
import java.io.File;
|
|
import java.io.IOException;
|
|
import java.util.ArrayList;
|
|
import java.util.List;
|
|
import org.kohsuke.args4j.Option;
|
|
|
|
public class PrologShell extends AbstractProgram {
|
|
@Option(name = "-s", metaVar = "FILE.pl", usage = "file to load")
|
|
private List<String> fileName = new ArrayList<>();
|
|
|
|
@Option(name = "-q", usage = "quiet mode without banner")
|
|
private boolean quiet;
|
|
|
|
@Override
|
|
public int run() {
|
|
if (!quiet) {
|
|
banner();
|
|
}
|
|
|
|
BufferingPrologControl pcl = new BufferingPrologControl();
|
|
pcl.setPrologClassLoader(new PrologClassLoader(getClass().getClassLoader()));
|
|
pcl.setEnabled(Prolog.Feature.IO, true);
|
|
pcl.setEnabled(Prolog.Feature.STATISTICS, true);
|
|
pcl.configureUserIO(System.in, System.out, System.err);
|
|
pcl.initialize(Prolog.BUILTIN);
|
|
|
|
for (String file : fileName) {
|
|
String path;
|
|
try {
|
|
path = new File(file).getCanonicalPath();
|
|
} catch (IOException e) {
|
|
path = new File(file).getAbsolutePath();
|
|
}
|
|
pcl.execute(Prolog.BUILTIN, "consult", SymbolTerm.create(path));
|
|
System.err.println();
|
|
System.err.flush();
|
|
}
|
|
|
|
try {
|
|
pcl.execute(Prolog.BUILTIN, "cafeteria");
|
|
if (!quiet) {
|
|
write("% halt\n");
|
|
}
|
|
return 0;
|
|
} catch (HaltException halt) {
|
|
write("% halt(" + halt.getStatus() + ")\n");
|
|
return halt.getStatus();
|
|
}
|
|
}
|
|
|
|
private void banner() {
|
|
System.err.format(
|
|
"Gerrit Code Review %s - Interactive Prolog Shell",
|
|
com.google.gerrit.common.Version.getVersion());
|
|
System.err.println();
|
|
System.err.println(
|
|
"(type Ctrl-D or \"halt.\" to exit, \"['path/to/file.pl'].\" to load a file)");
|
|
System.err.println();
|
|
System.err.flush();
|
|
}
|
|
|
|
private void write(String msg) {
|
|
System.out.flush();
|
|
System.err.flush();
|
|
System.out.println(msg);
|
|
System.out.flush();
|
|
}
|
|
}
|