Field Detail

• sVersion

  public static final java.lang.String sVersion

  Version, history and license.

  • 2014-09-02 Hartmut new: Regard FieldData.modeAccess =='M' for code generation.
  • 2014-09-02 Hartmut chg: intension='u' on gen_throwNew(ZbnfParseResultItem, ZbnfParseResultItem, LocalIdents, FieldData) for the text expression used to use text buffer in thread context in gen_ConcatenatedStrings(String, ClassData, char, Iterator, ZbnfParseResultItem, ZbnfParseResultItem, String, LocalIdents, boolean). The annotation Java4C.StringBuilderInThreadCxt is not necessary for that up to now. Strings for Exception texts are prepared always in the thread context. It is not possible to prepare them in a special buffer because there is not a buffer. The exception handling should be executed without additional effort. The catch of an exception removes the String from the thread context always.
  • 2014-01-12 Hartmut chg: All fields fieldsNonStatic and fieldsStatic now stored as instance data used in FirstPass.gatherAllDefinitions() for ClassLevelIdents.
  • 2014-01-12 Hartmut chg: All ZbnfParseResultItems which describes a Statement are named as 'zbnfStatement'. The 'zbnfDescription' (left unchanged) is the description to the statement. Note that annotations and comments Java4C or java2c are applied to that zbnfStatement. In expressions they are able to found with check of the statement's children.
  • 2008 Hartmut created:

  
  
  Copyright/Copyleft: For this source the LGPL Lesser General Public License, published by the Free Software Foundation is valid. It means:

  1. You can use this source without any restriction for any desired purpose.
  2. You can redistribute copies of this source to everybody.
  3. Every user of this source, also the user of redistribute copies with or without payment, must accept this license for further using.
  4. But the LPGL is not appropriate for a whole software product, if this source is only a part of them. It means, the user must publish this part of source, but don't need to publish the whole source of the own product.
  5. You can study and modify (improve) this source for own using or for redistribution, but you have to license the modified sources likewise under this LGPL Lesser General Public License. You mustn't delete this Copyright/Copyleft inscription in this source file.

  If you are intent to use this sources without publishing its usage, you can get a second license subscribing a special contract with the author.

  See Also:

  Constant Field Values

• blockNestingCnt

  public final int blockNestingCnt

  The deepness of block nesting.

• lastWasReturn

  public boolean lastWasReturn

  Saves, whether the last generated statement is a return. If it is not so, some instructions at end of block have to be done.

• localIdents

  public LocalIdents localIdents

  The identifiers valid at this block level. Note: The definition is not final because at first the LocalIdents of the level above are referenced here. Only if any variable or type defined in this block, an own instance is created and the reference is replaced.

Method Detail

• gen_statementBlock

  public static java.lang.String gen_statementBlock(ZbnfParseResultItem zbnfStatementBlock,
                                    ZbnfParseResultItem zbnfDescriptionBlock,
                                    int indent,
                                    StatementBlock parentBlock,
                                    FieldData typeReturn,
                                    org.vishia.java2C.GenerateClass classFrame,
                                    char intension)
                                             throws java.text.ParseException,
                                                    java.io.FileNotFoundException,
                                                    java.lang.IllegalArgumentException,
                                                    java.io.IOException,
                                                    java.lang.IllegalAccessException,
                                                    java.lang.InstantiationException

  Generates C-code from a parsed statement block.

  • All < variableDefinition> of the < statement> block were generated using GenerateClass#gen_variableDefinition(ZbnfParseResultItem, LocalIdents, List, char). It should be done first because in C all variable should be define on the begin of a block. The variable identifiers and types are stored in a local copy of LocalIdents, which are intialized with the content of the localIdentsP given as argument, which comes either from the parent block or from the class.
  • All assignments to variable are generated using #gen_VariableInitAssignment(ZbnfParseResultItem, int, LocalIdents). It is separated from the variable definition and it isn't implemented as initializing of variable, because in Java there are more variants. In C the type name = value; is an initializing of the variable, but type name; ...; name = value; it is an assignment. It is a fine difficult explainable difference. The Java2C produce assignments, not initializing.
  • All < statement> are generated, using #gen_statement(ZbnfParseResultItem, int, LocalIdents). Therefore a separate String variable is used, because MemC-elements, see next:
  • For all new-statements, the MemC definitions are generated. They are named with a incremental number. They are placed after the variable definitions of the block but before the statements. This is necessary because the MemC memX is an variable also.
  • The call of activateGC_ObjectJc(memX,...) is generated for all MemC-elements. The MemC-Elements are countered on level of the statement block, represented by this class. This is also done in #gen_statement(ZbnfParseResultItem, int, LocalIdents) before a return statement. It is not done if the last statement was a return. Thats why it is done with an extra method #gen_ActivateGarbageCollection(int).

  Parameters:

  zbnfStatementBlock - The ZBNF parse result item which is a < statementBlock>

  indent - number of indentation in the generated C-code. It is the level of blocks.

  localIdentsP - The local identifiers of the parent block.

  intension - Intension of call: 'c'-constructor body, 'm'-method body, 'b'internal block, 'f'-finalize body.

  Returns:

  The generated C-code for the block inclusive newlines, indentation and { }.

  Throws:

  java.text.ParseException

  java.lang.InstantiationException

  java.lang.IllegalAccessException

  java.io.IOException

  java.lang.IllegalArgumentException

  java.io.FileNotFoundException

• gen_statement

  public java.lang.String gen_statement(ZbnfParseResultItem zbnfParentStatement,
                               ZbnfParseResultItem zbnfParentDescription,
                               int indent,
                               LocalIdents localIdents,
                               FieldData typeReturn,
                               char intension)
                                 throws java.text.ParseException,
                                        java.io.FileNotFoundException,
                                        java.lang.IllegalArgumentException,
                                        java.io.IOException,
                                        java.lang.IllegalAccessException,
                                        java.lang.InstantiationException

  generates a statement from given parse result item < statement>. It may be a simple call, an assignment, an if-statement and so on or a < statementBlock>

  • A comment in /*...* / found in Java-code before the statement are generated also in C before the statement in an extra line calling get_description(ZbnfParseResultItem)
  • On < assignment> in ZBNF, gen_assignment(ZbnfParseResultItem, int indent, LocalIdents) is be called immediate.
  • On < statementBlock> in ZBNF, gen_statementBlock(ZbnfParseResultItem, int indent, LocalIdents) is be called immediate with a new instance of StatementBlock.
  • An < if_statement> in ZBNF consists of a < condition>, a < statement> and optional a < elseStatement>. The condition will be translated in C with gen_value(ZbnfParseResultItem, LocalIdents, char). As well as the condition occupies more as one line in Java, in C it is written yet in one line. Typically it is a suitable behavior. But if the condition expression is complex, it is not so ideal in C. The reason for this behavior: The parser ignore new lines, all are white spaces. The C-code is correct, but possibly not ideal readable. It is a good style for writing comprehensible code separating a complex expressions in smaller parts. To divide a conditional expression in smaller parts, some local boolean variable may be used. It is anyhow effective at machine level.
    If the < statement> is really a simple statement, it will be written after the if(...) in the same line. But typically it is a statement block, and will be written in extra lines with the correct indentation.
    If a construct else if(...) is given in Java, the if(...) after else is a simple statement. Therefore it was be produced as else if(...) also in C. It can be understand as a chain of if.
  • The behavior of the other control statements are adequate.
  • On < return> statement some additional statements to finish a subroutine are generated, especially the handling of the StacktraceJc. The gen_ActivateGarbageCollection(int) is called because the statement block may contain one or some new-Statements.
  • on < methodCall> in Java2C.zbnf-script, the gen_simpleValue(ZbnfParseResultItem, LocalIdents, char intension) is called with intension='m'. The methodcall is translated like a simple value, it is syntactically the same. (void-value).
  • On < throwNew> in Java2C.zbnf-script, the gen_throwNew(ZbnfParseResultItem, LocalIdents) is be called.
  • On < break_statement> in Java2C.zbnf-script, a simple break is generated. It are the same relations in Java likewise in C.

  Parameters:

  parent - The ZBNF parse result item which is a < statement>

  indent - Number of nesting level of the block to generate indentations of a line.

  localIdents - The indentation of the block: TODO use it as class element.

  typeReturn - The return type of the superior method if it contains a return statement.

  intension - Intension of call: 'c'-constructor body, 'm'-method body, 'b'-internal block, 'z'-part of if, while etc., 'f'-finalize body.

  Returns:

  The statement in C stated without indentation and ended without newline, but with the end-semicolon. If the statement occupies more as one line, the indentation is generated correctly using the indent argument.

  Throws:

  java.text.ParseException

  java.lang.InstantiationException

  java.lang.IllegalAccessException

  java.io.IOException

  java.lang.IllegalArgumentException

  java.io.FileNotFoundException

• gen_newObj

  public java.lang.String gen_newObj()

  Returns a new identifier for a newObject. Counts the nrofNew thereby.

• gen_persistringVariable

  public java.lang.String gen_persistringVariable()

  Returns a new identifier for a persistent String. Counts the nrofPersistentStrings thereby.

• gen_tempString

  public java.lang.String gen_tempString()

  Counts the #nrof and returns the name of a reference for new Objects.

• gen_ActivateGarbageCollection

  public java.lang.String gen_ActivateGarbageCollection(int indent,
                                               boolean bRet,
                                               CCodeData cCodeReturn)

  generates the statement for activateGC_ObjectJc(). This is placed on end of a statement block or before an return-statement, if inside new-statements are generated.

  Parameters:

  indent - number of indentations. 2 spaces per indentation are produced.

  Returns:

  The statement as string with indentation +1, but without newline.

• gen_assignment

  public java.lang.String gen_assignment(ZbnfParseResultItem zbnfStatement,
                                ZbnfParseResultItem zbnfDescription,
                                int indent,
                                LocalIdents localIdents,
                                char intension)
                                  throws java.text.ParseException,
                                         java.io.FileNotFoundException,
                                         java.lang.IllegalArgumentException,
                                         java.io.IOException,
                                         java.lang.IllegalAccessException,
                                         java.lang.InstantiationException

  generates an assignment-statement from given parse result item < statement>. The < assignment> consist of a < ?leftValue>, an < assignOperator> and a < value>.
  The < leftValue> is translated via call of gen_variable(ZbnfParseResultItem, LocalIdents , char intension, LocalIdents.IdentInfos[] retIdentInfo) with intension='='. The argument retIdentInfo is a call by returned reference. The returned object contains informations about the kind of the left-value variable, especially if it is an enhanced reference.
  The value is translated via call of gen_value(ZbnfParseResultItem, LocalIdents, char intension) with intension='e'.
  If the left value is an enhanced reference, a call of clearBackRefJc(variable) is produced before the new reference is set to it, and setBackRefJc(variable) after it is set. This subroutines implement the necessities of Garbage Collection for that enhanced references.

  Parameters:

  zbnfAssignment - The ZBNF parse result item which is a < assignment>

  indent - Number of nesting level of the block to generate indentations of a line.

  localIdents - The indentation of the block: TODO use it as class element.

  intension - Intension of call: 'c'-constructor body, 'm'-method body, 'b'-internal block, 'z'-part of if, while etc., 'f'-finalize body.

  Returns:

  Throws:

  java.text.ParseException

  java.lang.InstantiationException

  java.lang.IllegalAccessException

  java.io.IOException

  java.lang.IllegalArgumentException

  java.io.FileNotFoundException

• gen_StringAssignment

  public java.lang.String gen_StringAssignment(int indent,
                                      CCodeData leftValue,
                                      java.lang.String sAssignOperatorC,
                                      ZbnfParseResultItem zbnfValue,
                                      ZbnfParseResultItem zbnfDescription,
                                      ZbnfParseResultItem zbnfStatement,
                                      LocalIdents localIdents,
                                      char intension)
                                        throws java.text.ParseException,
                                               java.io.FileNotFoundException,
                                               java.lang.IllegalArgumentException,
                                               java.io.IOException,
                                               java.lang.IllegalAccessException,
                                               java.lang.InstantiationException

  Generates an assignment to a String.

  Parameters:

  indent -

  sVariableC -

  typeLeftValue -

  sAssignOperatorC -

  sValueC -

  typeValue -

  intension - Intension of call: 'c'-constructor body, 'm'-method body, 'b'-internal block, 'z'-part of if, while etc., 'f'-finalize body.

  Returns:

  Throws:

  java.text.ParseException

  java.lang.InstantiationException

  java.lang.IllegalAccessException

  java.io.IOException

  java.lang.IllegalArgumentException

  java.io.FileNotFoundException

• gen_variableAccess

  public CCodeData gen_variableAccess(ZbnfParseResultItem itemVariable,
                             ZbnfParseResultItem zbnfDescription,
                             ZbnfParseResultItem zbnfStatement,
                             LocalIdents localIdents,
                             char intension,
                             CCodeData cCodeReferenceInput)
                               throws java.text.ParseException,
                                      java.io.FileNotFoundException,
                                      java.lang.IllegalArgumentException,
                                      java.io.IOException,
                                      java.lang.IllegalAccessException,
                                      java.lang.InstantiationException

  generates an access to a value in a variable or a using of a variable as left value. The variable may be referenced. It means, it is a variable in the referenced object.
  If no reference is given, it may be either it a local variable or a class variable. With help of the argument localIdents the variable can be found in the context.

  • If it is a class variable, In C thiz-> is written before.
  • If it is a variable of a super class, In C thiz->super. is written before.
  • If it is a variable of a outer class, In C thiz->outer-> is written before.
  • If it is a local stack variable, the name is directly used in C like in Java.

  
  If it is a referenced variable, the identifier info of the referencing object is used, The reference is build correctly either with -> or ., depended on the reference kind. It may be an embedded struct. The LocalIdents of the referencing object are used to desire it.
  If the variable is an enhanced reference and the intension is ones of "Rrmex", the code REFJc(variable) is generated to get the stored reference as value. REFJc(variable) is a Macro to get the reference pointer inside an enhanced referende. Especially if it is left value, the code of enhanced reference itself is generated.
  A variable may have a pre- or post- increment or -decrement like --x or y++.

  Parameters:

  itemVariable - The ZBNF parse result item of the < ?variable>-semantic. It is a part of a simpleValue-syntax-prescript.

  localIdents - The Identifier info of the environment.

  intension - Info about the location respectively cause to call this method. e-expression R-first reference r-nested reference =:leftvalue ...

  retIdentInfo - information about the variable in its context.

  Returns:

  generated String of variable access for the C-code

  Throws:

  java.text.ParseException

  java.lang.InstantiationException

  java.lang.IllegalAccessException

  java.io.IOException

  java.lang.IllegalArgumentException

  java.io.FileNotFoundException

• gen_value

  public java.lang.String gen_value(ZbnfParseResultItem zbnfCondition,
                           ZbnfParseResultItem zbnfDescription,
                           ZbnfParseResultItem zbnfStatement,
                           org.vishia.java2C.ClassData[] retType,
                           LocalIdents localIdents,
                           boolean maybeNonPersistent,
                           char intension)
                             throws java.text.ParseException,
                                    java.io.FileNotFoundException,
                                    java.lang.IllegalArgumentException,
                                    java.io.IOException,
                                    java.lang.IllegalAccessException,
                                    java.lang.InstantiationException

  Throws:

  java.text.ParseException

  java.io.FileNotFoundException

  java.lang.IllegalArgumentException

  java.io.IOException

  java.lang.IllegalAccessException

  java.lang.InstantiationException

• gen_value

  public CCodeData gen_value(ZbnfParseResultItem parent,
                    ZbnfParseResultItem zbnfDescription,
                    ZbnfParseResultItem zbnfStatement,
                    boolean maybeNonPersistent,
                    char intension)
                      throws java.text.ParseException,
                             java.io.FileNotFoundException,
                             java.lang.IllegalArgumentException,
                             java.io.IOException,
                             java.lang.IllegalAccessException,
                             java.lang.InstantiationException

  generates the expression to get a value. From syntax item <...?value>. In the syntax of < value> it is a repetion of { [|< unaryOperator>] < simpleValue?> ? < binaryOperator> }. Therefore #gen_simpleValue(ZbnfParseResultItem, LocalIdents, char) is called inside. All components of the < value> are processed in one while-loop because it is stored one after another. That includes also the [< ?conditional>... construct in which is this method is called recursively.
  The priority of operators is checked in the Java context. The input to the Java2C-translator should be a well compiled java source code. Therefore it needn't considered here.

  Parameters:

  parent - The parse result item which has the semantic <...?value>.

  intension - intension of generating:

  • 'e'-value in an expression, enhanced references are taken with .ref
  • 'l'-left value,
  • 'a'-argument
  • 'u'-use StringBuilder in Thread context, throw-text expression

  see Docu.F_Translation_Secondpass.f9_intension_of_call()

  Returns:

  Throws:

  java.text.ParseException

  java.lang.InstantiationException

  java.lang.IllegalAccessException

  java.io.IOException

  java.lang.IllegalArgumentException

  java.io.FileNotFoundException

  java.lang.InstantiationException

• gen_simpleValue

  public CCodeData gen_simpleValue(ZbnfParseResultItem zbnfItem,
                          ZbnfParseResultItem zbnfDescription,
                          ZbnfParseResultItem zbnfStatement,
                          LocalIdents localIdents,
                          boolean maybeNonPersistent,
                          char intension,
                          boolean bRefNeed)
                            throws java.text.ParseException,
                                   java.io.FileNotFoundException,
                                   java.lang.IllegalArgumentException,
                                   java.io.IOException,
                                   java.lang.IllegalAccessException,
                                   java.lang.InstantiationException

  generates the code for ZBNF-< simpleValue>. A simpleValue is a value without operators, a non calculated value, in opposite to a < value>. But a simpleValue may be an expression accessing a referenced value. Examples are: var, this.var, super.var, ref.var, "xyz", method(a.b), "xyz".indexof(cc), method().val

  • A simpleValue may be a < variable>, converted with #gen_variable(ZbnfParseResultItem, LocalIdents, char, org.vishia.java2C.FieldData[]), but a < variable> can be more as that, especially a left value. This is not considered here.
  • A simple value may be a casted value, written in the syntax in Java2C.zbnf with < ?casting> ( < type> ) < value>.
  • There is a special case of casting: (String)null will be converted to null_StringJc, because the simple null fails in C.
  • A simple value may be such as this or super.
  • A simple value can be a new Object, generated with #gen_newObject(ZbnfParseResultItem, CCodeData, LocalIdents).
  • A < methodCall> is also a variant of simple value. Thats why this method is also used to generate a < methodCall> in statements. A < methodCall> tests wether it is referenced, than #gen_simpleMethodCall(ZbnfParseResultItem, String, org.vishia.java2C.FieldData, LocalIdents) is called.

  Parameters:

  zbnfItem - One of the alternatives in simpleValue::=...

  localIdents - of the environment

  intension - calling intension.

  Returns:

  Throws:

  java.text.ParseException

  java.lang.InstantiationException

  java.lang.IllegalAccessException

  java.io.IOException

  java.lang.IllegalArgumentException

  java.io.FileNotFoundException

• gen_newArray

  public java.lang.String gen_newArray(ZbnfParseResultItem zbnfNewArray,
                              org.vishia.java2C.ClassData[] retTypeValue,
                              LocalIdents idents,
                              FieldData variable)
                                throws java.text.ParseException,
                                       java.io.FileNotFoundException,
                                       java.lang.IllegalArgumentException,
                                       java.io.IOException,
                                       java.lang.IllegalAccessException,
                                       java.lang.InstantiationException

  generates the expression for a new Type[...] expression. For a new Object, a Object-instance is necessary. It will be generated using gen_newObj(). The variable nrofNew is used and incremented for that.
  If a variable is given, and it is an embedded instance, no new Object is allocated, but the constructor for the given embedded instance is called.

  Parameters:

  zbnfNewArray - The zbnf parse result item of the < newObject>

  idents - The identifier of the environment.

  variable - The variable to assign to, or null

  Returns:

  generated C-code.

  Throws:

  java.text.ParseException

  java.lang.InstantiationException

  java.lang.IllegalAccessException

  java.io.IOException

  java.lang.IllegalArgumentException

  java.io.FileNotFoundException

• gen_try_statement

  public java.lang.String gen_try_statement(ZbnfParseResultItem zbnfStatement1,
                                   int indent,
                                   LocalIdents localIdents)
                                     throws java.text.ParseException,
                                            java.io.FileNotFoundException,
                                            java.lang.IllegalArgumentException,
                                            java.io.IOException,
                                            java.lang.IllegalAccessException,
                                            java.lang.InstantiationException

  generates the expression for a < try_Statment> .

  Parameters:

  zbnfThrowNew -

  localIdents -

  Returns:

  Throws:

  java.text.ParseException

  java.lang.InstantiationException

  java.lang.IllegalAccessException

  java.io.IOException

  java.lang.IllegalArgumentException

  java.io.FileNotFoundException

• gen_throwNew

  public java.lang.String gen_throwNew(ZbnfParseResultItem zbnfStatement,
                              ZbnfParseResultItem zbnfDescription,
                              LocalIdents localIdents,
                              FieldData typeReturn)
                                throws java.text.ParseException,
                                       java.io.FileNotFoundException,
                                       java.lang.IllegalArgumentException,
                                       java.io.IOException,
                                       java.lang.IllegalAccessException,
                                       java.lang.InstantiationException

  generates the expression for a .

  Parameters:

  zbnfThrowNew -

  localIdents -

  Returns:

  Throws:

  java.text.ParseException

  java.lang.InstantiationException

  java.lang.IllegalAccessException

  java.io.IOException

  java.lang.IllegalArgumentException

  java.io.FileNotFoundException

• gen_VariableInitAssignment

  public java.lang.String gen_VariableInitAssignment(ZbnfParseResultItem zbnfStatement,
                                            int indent)
                                              throws java.text.ParseException,
                                                     java.io.FileNotFoundException,
                                                     java.lang.IllegalArgumentException,
                                                     java.io.IOException,
                                                     java.lang.IllegalAccessException,
                                                     java.lang.InstantiationException

  generates the initial assignments to variables. Called only inside a #gen_statementBlock(ZbnfParseResultItem , int, StatementBlock, ClassData, char)

  Parameters:

  zbnfVariableDefinition - Item of < variableDefinition>

  Throws:

  java.io.IOException

  java.text.ParseException

  java.lang.InstantiationException

  java.lang.IllegalAccessException

  java.io.IOException

  java.lang.IllegalArgumentException

  java.io.FileNotFoundException