From 8d2477da5c4afaa892b17b550038221e2c19af1c Mon Sep 17 00:00:00 2001
From: jgeldart <jgeldart@91dfdad4-c543-0410-b26a-7d79dded8189>
Date: Sat, 9 Feb 2008 19:07:19 +0000
Subject: [PATCH] Missed a file
---
.../googlecode/opennars/parser/Symbols.java | 108 ++++++++++++++++++
1 file changed, 108 insertions(+)
create mode 100644 open-nars/com/googlecode/opennars/parser/Symbols.java
diff --git a/open-nars/com/googlecode/opennars/parser/Symbols.java b/open-nars/com/googlecode/opennars/parser/Symbols.java
new file mode 100644
index 0000000..ecfca3c
--- /dev/null
+++ b/open-nars/com/googlecode/opennars/parser/Symbols.java
@@ -0,0 +1,108 @@
+/*
+ * Symbols.java
+ *
+ * Copyright (C) 2008 Pei Wang
+ *
+ * This file is part of Open-NARS.
+ *
+ * Open-NARS is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation, either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * Open-NARS is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with Foobar. If not, see <http://www.gnu.org/licenses/>.
+ */
+
+package com.googlecode.opennars.parser;
+
+import java.awt.*;
+
+/**
+ * The ASCII symbols used in I/O.
+ */
+public class Symbols {
+
+ // sentence delimitors
+ public static final char JUDGMENT_MARK = '.';
+ public static final char QUESTION_MARK = '?';
+ public static final char GOAL_MARK = '!';
+
+ // numerical value delimitors
+ // must be different from the Term opener/closer pairs
+ public static final char BUDGET_VALUE_MARK = '$';
+ public static final char TRUTH_VALUE_MARK = '%';
+ public static final char VALUE_SEPARATOR = ';';
+
+ // special Term name prefix
+ public static final char VARIABLE_TAG = '#';
+ public static final char QUERY_VARIABLE_TAG = '?';
+ public static final char OPERATOR_TAG = '^';
+
+ // CompountTerm delimitors
+ // must use 4 different pairs, see CompoundTerm/fromString.
+ public static final char COMPOUND_TERM_OPENER = '(';
+ public static final char COMPOUND_TERM_CLOSER = ')';
+ public static final char STATEMENT_OPENER = '<';
+ public static final char STATEMENT_CLOSER = '>';
+ public static final char SET_EXT_OPENER = '{';
+ public static final char SET_EXT_CLOSER = '}';
+ public static final char SET_INT_OPENER = '[';
+ public static final char SET_INT_CLOSER = ']';
+
+ public static final char ARGUMENT_SEPARATOR = ',';
+ public static final char IMAGE_PLACE_HOLDER = '_';
+
+ // CompountTerm operators
+ // length = 1
+ public static final String INTERSECTION_EXT_OPERATOR = "&";
+ public static final String INTERSECTION_INT_OPERATOR = "|";
+ public static final String DIFFERENCE_EXT_OPERATOR = "-";
+ public static final String DIFFERENCE_INT_OPERATOR = "~";
+ public static final String PRODUCT_OPERATOR = "*";
+ public static final String IMAGE_EXT_OPERATOR = "/";
+ public static final String IMAGE_INT_OPERATOR = "\\";
+
+ // CompoundStatement operators
+ // length = 2
+ public static final String NEGATION_OPERATOR = "--";
+ public static final String DISJUNCTION_OPERATOR = "||";
+ public static final String CONJUNCTION_OPERATOR = "&&";
+ public static final String SEQUENCE_OPERATOR = "&/";
+ public static final String PARALLEL_OPERATOR = "&|";
+ public static final String FUTURE_OPERATOR = "/>";
+ public static final String PRESENT_OPERATOR = "|>";
+ public static final String PAST_OPERATOR = "\\>";
+
+ // built-in relations
+ // length = 3
+ public static final String INHERITANCE_RELATION = "-->";
+ public static final String SIMILARITY_RELATION = "<->";
+ public static final String INSTANCE_RELATION = "{--";
+ public static final String PROPERTY_RELATION = "--]";
+ public static final String INSTANCE_PROPERTY_RELATION = "{-]";
+ public static final String IMPLICATION_RELATION = "==>";
+ public static final String EQUIVALENCE_RELATION = "<=>";
+ public static final String IMPLICATION_AFTER_RELATION = "=/>";
+ public static final String IMPLICATION_BEFORE_RELATION = "=\\>";
+ public static final String IMPLICATION_WHEN_RELATION = "=|>";
+ public static final String EQUIVALENCE_AFTER_RELATION = "</>";
+ public static final String EQUIVALENCE_WHEN_RELATION = "<|>";
+
+ // Base, display only
+ public static final String Base_opener = " {";
+ public static final String Base_closer = "} ";
+ public static final String Base_separator = ";";
+ public static final String Base_separator0 = ": ";
+
+ // TermLink type, display only
+ public static final String LinkToComponent_at1 = " @(";
+ public static final String LinkToComponent_at2 = ") _ ";
+ public static final String LinkToCompound_at1 = " _ @(";
+ public static final String LinkToCompound_at2 = ") ";
+}
--
GitLab