Exemple #1
0
Fichier : KApp.java Projet : kszr/k
 /** Constructs a {@link KApp} object from an XML {@link Element}. */
 public KApp(Element element, org.kframework.kil.loader.Context context) {
   super(element);
   List<Element> childrenElements = XML.getChildrenElements(element);
   Element body = XML.getChildrenElements(childrenElements.get(0)).get(0);
   setLabel((Term) JavaClassesFactory.getTerm(body));
   Term term = (Term) JavaClassesFactory.getTerm(childrenElements.get(1));
   if (!(term.getSort().equals(Sort.KLIST) || term instanceof Ambiguity)) {
     setChild(new KList(Collections.<Term>singletonList(term)));
   } else {
     setChild(term);
   }
 }
Exemple #2
0
Fichier : KApp.java Projet : kszr/k
 /**
  * Constructs a {@link KApp} object representing the application of the specified KLabel to the
  * specified KList.
  *
  * @param location the line and column
  * @param filename the complete name of the file
  * @param label the KLabel which is applied to the given KList. A non-null instance of {@link
  *     KLabel}, {@link Variable} of sort KLabel or {@link Ambiguity}.
  * @param child the KList which the given KLabel is applied to. A non-null instance of {@link
  *     KList}, {@link Variable} of sort KList, or {@link Ambiguity}.
  */
 public KApp(Location location, Source source, Term label, Term child) {
   super(location, source, Sort.KITEM);
   setLabel(label);
   setChild(child);
 }
Exemple #3
0
Fichier : KApp.java Projet : kszr/k
 /**
  * Constructs a {@link KApp} object representing the application of the specified KLabel to the
  * specified KList.
  *
  * @param label the KLabel which is applied to the given KList. A non-null instance of {@link
  *     KLabel}, {@link Variable} of sort KLabel or {@link Ambiguity}.
  * @param child the KList which the given KLabel is applied to. A non-null instance of {@link
  *     KList}, {@link Variable} of sort KList, or {@link Ambiguity}.
  */
 public KApp(Term label, Term child) {
   super(label.getLocation(), label.getSource(), Sort.KITEM);
   setLabel(label);
   setChild(child);
 }
Exemple #4
0
Fichier : KApp.java Projet : kszr/k
 private KApp(KApp node) {
   super(node);
   setLabel(node.label);
   setChild(node.child);
 }