The Meta-Environment API

nl.cwi.sen1.configapi.types.virtualkey
Class VK_BRACE_RIGHT

java.lang.Object
  extended by aterm.pure.ATermVisitableImpl
      extended by aterm.pure.ATermImpl
          extended by aterm.pure.ATermApplImpl
              extended by nl.cwi.sen1.configapi.AbstractType
                  extended by nl.cwi.sen1.configapi.types.VirtualKey
                      extended by nl.cwi.sen1.configapi.types.virtualkey.VK_BRACE_RIGHT
All Implemented Interfaces:
aterm.ATerm, aterm.ATermAppl, aterm.Identifiable, jjtraveler.Visitable, shared.SharedObject, shared.SharedObjectWithID

public class VK_BRACE_RIGHT
extends VirtualKey


Field Summary
 
Fields inherited from class nl.cwi.sen1.configapi.AbstractType
term
 
Fields inherited from class aterm.pure.ATermImpl
factory
 
Fields inherited from interface aterm.ATerm
AFUN, APPL, BLOB, INT, LIST, LONG, PLACEHOLDER, REAL
 
Constructor Summary
VK_BRACE_RIGHT(Factory factory, aterm.ATermList annos, aterm.AFun fun, aterm.ATerm[] args)
           
 
Method Summary
 shared.SharedObject duplicate()
           
 boolean equivalent(shared.SharedObject peer)
           
protected  int hashFunction()
           
 boolean isVK_BRACE_RIGHT()
           
protected  aterm.ATermAppl make(aterm.AFun fun, aterm.ATerm[] args, aterm.ATermList annos)
           
 aterm.ATermAppl setArgument(aterm.ATerm arg, int i)
           
 aterm.ATerm toTerm()
           
 
Methods inherited from class nl.cwi.sen1.configapi.types.VirtualKey
isEqual, isSortVirtualKey, isVK_0, isVK_1, isVK_2, isVK_3, isVK_4, isVK_5, isVK_6, isVK_7, isVK_8, isVK_9, isVK_A, isVK_AMPERSAND, isVK_ASTERISK, isVK_AT, isVK_B, isVK_BACK_QUOTE, isVK_BACK_SLASH, isVK_BACK_SPACE, isVK_BEGIN, isVK_BRACE_LEFT, isVK_C, isVK_CIRCUMFLEX, isVK_CLEAR, isVK_CLOSE_BRACKET, isVK_COLON, isVK_COMMA, isVK_D, isVK_DECIMAL, isVK_DELETE, isVK_DIVIDE, isVK_DOLLAR, isVK_DOWN, isVK_E, isVK_END, isVK_ENTER, isVK_EQUALS, isVK_ESCAPE, isVK_EXCLAMATION_MARK, isVK_F, isVK_F1, isVK_F10, isVK_F11, isVK_F12, isVK_F2, isVK_F3, isVK_F4, isVK_F5, isVK_F6, isVK_F7, isVK_F8, isVK_F9, isVK_G, isVK_GREATER, isVK_H, isVK_HOME, isVK_I, isVK_INSERT, isVK_J, isVK_K, isVK_L, isVK_LEFT_PARENTHESIS, isVK_LEFT, isVK_M, isVK_MINUS, isVK_MULTIPLY, isVK_N, isVK_NUMBER_SIGN, isVK_O, isVK_OPEN_BRACKET, isVK_P, isVK_PAGE_DOWN, isVK_PAGE_UP, isVK_PAUSE, isVK_PERIOD, isVK_PLUS, isVK_PRINTSCREEN, isVK_Q, isVK_QUOTE, isVK_QUOTEDBL, isVK_R, isVK_RIGHT_PARENTHESIS, isVK_RIGHT, isVK_S, isVK_SEMICOLON, isVK_SLASH, isVK_SPACE, isVK_SUBTRACT, isVK_T, isVK_TAB, isVK_U, isVK_UNDERSCORE, isVK_UP, isVK_V, isVK_W, isVK_X, isVK_Y, isVK_Z
 
Methods inherited from class nl.cwi.sen1.configapi.AbstractType
getConfigapiFactory, isSortActionDescription, isSortActionDescriptionList, isSortColor, isSortConfiguration, isSortEvent, isSortItem, isSortItemLabels, isSortKeyModifier, isSortKeyModifierList, isSortProperty, isSortPropertyList, isSortShortCut, isSortTextAttribute, isSortTextAttributeMap, isSortTextCategoryName, isSortTextStyle, isSortVirtualButton, setTerm, toString
 
Methods inherited from class aterm.pure.ATermApplImpl
accept, getAFun, getArgument, getArgumentArray, getArguments, getArity, getName, getNrSubTerms, getSubTerm, getType, init, initHashCode, isQuoted, make, make, match, setAnnotations, setSubTerm
 
Methods inherited from class aterm.pure.ATermImpl
equals, getAnnotation, getAnnotations, getFactory, getPureFactory, getUniqueIdentifier, hasAnnotations, hashCode, init, internSetAnnotations, isEqual, match, match, removeAnnotation, removeAnnotations, setAnnotation, setHashCode, setUniqueIdentifier, writeToSharedTextFile, writeToTextFile, writeToTextFile
 
Methods inherited from class aterm.pure.ATermVisitableImpl
getChildAt, getChildCount, setChildAt
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface aterm.ATerm
equals, getAnnotation, getAnnotations, getFactory, hasAnnotations, hashCode, isEqual, match, match, removeAnnotation, removeAnnotations, setAnnotation, writeToSharedTextFile, writeToTextFile
 
Methods inherited from interface jjtraveler.Visitable
getChildAt, getChildCount, setChildAt
 
Methods inherited from interface aterm.Identifiable
getUniqueIdentifier
 

Constructor Detail

VK_BRACE_RIGHT

public VK_BRACE_RIGHT(Factory factory,
                      aterm.ATermList annos,
                      aterm.AFun fun,
                      aterm.ATerm[] args)
Method Detail

duplicate

public shared.SharedObject duplicate()
Specified by:
duplicate in interface shared.SharedObject
Overrides:
duplicate in class aterm.pure.ATermApplImpl

equivalent

public boolean equivalent(shared.SharedObject peer)
Specified by:
equivalent in interface shared.SharedObject
Overrides:
equivalent in class aterm.pure.ATermApplImpl

make

protected aterm.ATermAppl make(aterm.AFun fun,
                               aterm.ATerm[] args,
                               aterm.ATermList annos)
Overrides:
make in class aterm.pure.ATermApplImpl

toTerm

public aterm.ATerm toTerm()
Specified by:
toTerm in class AbstractType

isVK_BRACE_RIGHT

public boolean isVK_BRACE_RIGHT()
Overrides:
isVK_BRACE_RIGHT in class VirtualKey

setArgument

public aterm.ATermAppl setArgument(aterm.ATerm arg,
                                   int i)
Specified by:
setArgument in interface aterm.ATermAppl
Overrides:
setArgument in class aterm.pure.ATermApplImpl

hashFunction

protected int hashFunction()
Overrides:
hashFunction in class aterm.pure.ATermApplImpl

The Meta-Environment API