From 3fed0171efae05edadfad900b72e9b61b445ceef Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Tue, 1 Mar 2005 23:55:59 +0000 Subject: [PATCH] missing file --- factor/ConstructorArtifact.java | 58 +++++++++++++++++++++++++++++++++ 1 file changed, 58 insertions(+) create mode 100644 factor/ConstructorArtifact.java diff --git a/factor/ConstructorArtifact.java b/factor/ConstructorArtifact.java new file mode 100644 index 0000000000..00c47f0523 --- /dev/null +++ b/factor/ConstructorArtifact.java @@ -0,0 +1,58 @@ +/* :folding=explicit:collapseFolds=1: */ + +/* + * $Id$ + * + * Copyright (C) 2005 Slava Pestov. + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions are met: + * + * 1. Redistributions of source code must retain the above copyright notice, + * this list of conditions and the following disclaimer. + * + * 2. Redistributions in binary form must reproduce the above copyright notice, + * this list of conditions and the following disclaimer in the documentation + * and/or other materials provided with the distribution. + * + * THIS SOFTWARE IS PROVIDED ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, + * INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND + * FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE + * DEVELOPERS AND CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, + * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, + * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; + * OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, + * WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR + * OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF + * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + */ + +package factor; + +import factor.jedit.FactorWordRenderer; +import org.gjt.sp.jedit.jEdit; + +public class ConstructorArtifact extends FactorArtifact + implements FactorExternalizable +{ + private FactorWord type; + + //{{{ ConstructorArtifact constructor + public ConstructorArtifact(FactorWord type) + { + this.type = type; + } //}}} + + //{{{ getShortString() method + public String getShortString() + { + return "<" + type.name + ">"; + } //}}} + + //{{{ getLongString() method + public String getLongString() + { + return jEdit.getProperty("factor.completion.constructor", + new String[] { type.name }); + } //}}} +}