Christian, Leif, Carsten, AlbertCodeGen2 – Template- und Modellbasierte Codegenerierung 1 CodeGen2 Template- und Modellbasierte Codegenerierung für Fujaba

Christian, Leif, Carsten, AlbertCodeGen2 – Template- und Modellbasierte Codegenerierung 2 Beispiel: Einfaches Story Pattern

Christian, Leif, Carsten, AlbertCodeGen2 – Template- und Modellbasierte Codegenerierung 3 OOGenToken Bisher sah das so aus… /** * Describe generateOOCode method here. * methodName a String value incr No description provided param No description provided an LinkedList[OOStatement] value */ public Object generateCode (FElement incr, String methodName, Object param[]) { String sourceObjectName; String sourceObjectType; String sourceRoleName; String targetObjectName; String targetObjectType; String targetRoleName; String className; boolean targetOptional; boolean targetSet; boolean forEach; boolean sourceQualifierKey; boolean targetQualifierKey; String range; // parse param try { sourceObjectName = (String) param[0]; sourceObjectType = (String) param[1]; sourceRoleName = (String) param[2]; targetObjectName = (String) param[3]; targetObjectType = (String) param[4]; targetRoleName = (String) param[5]; className = (String) param[6]; targetOptional = ((Boolean) param[7]).booleanValue(); targetSet = ((Boolean) param[8]).booleanValue(); forEach = ((Boolean) param[9]).booleanValue(); sourceQualifierKey = ((Boolean) param[10]).booleanValue(); targetQualifierKey = ((Boolean) param[11]).booleanValue(); range = (String) param[12]; } catch (Exception exception) { throw new IllegalArgumentException ("param=" + Arrays.asList (param)); } if (log.isDebugEnabled()) { log.debug (this + ".linkSearchToManyTop(" + "sourceObjectName=" + sourceObjectName + ",sourceObjectType=" + sourceObjectType + ",sourceRoleName=" + sourceRoleName + ",targetObjectName=" + targetObjectName + ",targetObjectType=" + targetObjectType + ",targetRoleName=" + targetRoleName + ",className=" + className + ",targetOptional=" + targetOptional + ",targetSet=" + targetSet + ",forEach=" + forEach + ",sourceQualifierKey=" + sourceQualifierKey + ",targetQualifierKey=" + targetQualifierKey + ",range=" + range); } LinkedList statements = new LinkedList(); OOExpression conditionExpr = null; OOExpression notFujabaSuccess = null; OOCallMethodExpr iteratorMethodExpr = null; OOFWIteratorHasNextExpr hasNextExpr = null; OOCallMethodExpr hasInMethodExpr = null; OOStatement.add (statements, OO.lineComment ("bind " + targetObjectName + ": " + targetObjectType)); String uniqueName = CGU.upFirstChar (sourceObjectName) + CGU.upFirstChar (sourceRoleName) + CGU.upFirstChar (targetObjectName); OOVariable iterName = OO.variable (uniqueName.toString(), OOVariableType.iFujabaIter); iteratorMethodExpr = OO.call (sourceObjectName, OO.method (sourceRoleName, OOMethodType.ITERATOR_OF_METHOD)); if (sourceQualifierKey) { iteratorMethodExpr.addToParameter (OO.identifier (range)); } OOStatement.add (statements, OO.varDecl ("FWIterator", iterName, iteratorMethodExpr)); if (targetOptional) { OOStatement.add (statements, new OODoStatement()); } else { hasNextExpr = OO.iterHasNext (iterName, sourceObjectName, OO.type (sourceRoleName), true); if (!forEach) { notFujabaSuccess = OO.not (OO.identifier (OOVariableType.iFujabaSuccess)); conditionExpr = OO.infixOp (notFujabaSuccess, OOInfixOp.AND_OP, hasNextExpr); } else { conditionExpr = hasNextExpr; } OOStatement.add (statements, OO.whileStat (conditionExpr)); } OOStatement.add (statements, OO.startBlock()); OOStatement.add (statements, new OOTryStatement()); OOStatement.add (statements, OO.startBlock()); if (targetOptional) { OOStatement.add (statements, OO.varDecl (targetObjectType, targetObjectName, OOIdentifierExpr.NULL_IDENTIFIER)); OOStatement.add (statements, OO.ifStat (OO.iterHasNext (iterName, sourceObjectName))); OOStatement.add (statements, OO.startBlock()); } if (targetObjectType.equals (className)) { OOStatement.add (statements, OO.varDecl (targetObjectType, targetObjectName, OO.typeCast (targetObjectType, OO.iterGet (iterName)))); OOStatement.add (statements, OO.exprStat (OO.iterGotoNext (iterName))); OOStatement.add (statements, OO.emptyLine()); } else { OOStatement.add (statements, OO.varDecl (OO.type ("Object"), OO.variable (OOVariableType.iFujabaTmpObject), OO.iterGet (iterName))); if (targetOptional) { OOStatement.add (statements, OO.ifStat (new OOObjectOfTypeExpr (OOVariableType.iFujabaTmpObject, targetObjectType))); OOStatement.add (statements, OO.startBlock()); OOStatement.add (statements, OO.assignStat (targetObjectName, OO.typeCast (targetObjectType, OOVariableType.iFujabaTmpObject))); OOStatement.add (statements, OO.endBlock()); OOStatement.add (statements, new OOElseStatement()); OOStatement.add (statements, OO.startBlock()); OOStatement.add (statements, OO.ensure (OO.not (OO.iterHasNext (iterName, sourceObjectName)))); OOStatement.add (statements, OO.endBlock()); } else { OOStatement.add (statements, OO.ensure (new OOObjectOfTypeExpr (OOVariableType.iFujabaTmpObject, targetObjectType))); OOStatement.add (statements, OO.varDecl (targetObjectType, targetObjectName, OO.typeCast (targetObjectType, OOVariableType.iFujabaTmpObject))); OOStatement.add (statements, OO.emptyLine()); } if (targetOptional) { OOStatement.add (statements, OO.endBlock()); OOStatement.add (statements, OO.emptyLine()); } if (targetQualifierKey && !sourceQualifierKey) { OOStatement.add (statements, OO.lineComment ("check Reverse-Qualified-Link '" + targetRoleName + "' between " + targetObjectName + " and " + sourceObjectName)); hasInMethodExpr = OO.call (targetObjectName, OO.method (targetRoleName, OOMethodType.HAS_IN_METHOD)); hasInMethodExpr.addToParameter (OO.identifier (range)); hasInMethodExpr.addToParameter (OO.identifier (sourceObjectName)); if (targetOptional) { conditionExpr = OO.infixOp (OO.isNullExpr (targetObjectName), OOInfixOp.OR_OP, hasInMethodExpr); } else { conditionExpr = hasInMethodExpr; } OOStatement.add (statements, OO.ensure (conditionExpr)); OOStatement.add (statements, OO.emptyLine()); } return statements; } OOStatement.add (statements, OO.varDecl (OO.type ("Object"), OO.variable (OOVariableType.iFujabaTmpObject), … if (targetOptional) { OOStatement.add (statements, OO.ifStat (new OOObjectOfTypeExpr (OOVariableType.iFujabaTmpObject, … OOStatement.add (statements, OO.startBlock()); OOStatement.add (statements, OO.assignStat (targetObjectName, OO.typeCast (targetObjectType, … OOStatement.add (statements, OO.endBlock()); OOStatement.add (statements, new OOElseStatement()); OOStatement.add (statements, OO.startBlock()); OOStatement.add (statements, OO.ensure (OO.not (OO.iterHasNext (iterName, sourceObjectName)))); OOStatement.add (statements, OO.endBlock()); } else { OOStatement.add (statements, OO.ensure (new OOObjectOfTypeExpr (OOVariableType.iFujabaTmpObject, … OOStatement.add (statements, OO.varDecl (targetObjectType, targetObjectName, OO.typeCast (targetObjectType, … OOStatement.add (statements, OO.emptyLine()); }

Christian, Leif, Carsten, AlbertCodeGen2 – Template- und Modellbasierte Codegenerierung 4 Resultat tmp = iterator.next () ; JavaSDM.ensure ( tmp instanceof B ) ; child = (B) tmp ;

Christian, Leif, Carsten, AlbertCodeGen2 – Template- und Modellbasierte Codegenerierung 5 Template Code #set( $tmp = "${iter}.next ()" ) #if ( $optional ) if ( $tmpName instanceof $type ) { $name = ($type) $tmp ; } #else JavaSDM.ensure ( $tmp instanceof $type ) ; $name = ($type) $tmp ; #end #parse( "storyPattern/link/import.vm" ) #set( $iter = "fujaba__Iter$utility.upFirstChar($sourceName)To$utility.upFirstChar($tar getName)" ) // iterate to-many link #if ( $targetSet ) $collectionName = new FHashSet () ; #else fujaba__Success = false ; #end $iter = ${sourceName}.iteratorOf$targetRoleName ($!range) ; while ( #if(!$forEach && !$targetSet)!(fujaba__Success) && #end${iter}.hasNext () ) { try { #set( $source = "#if(!$typeCast)($targetType)#end ${iter}.next ()" ) #set( $toMany = true ) #parse( "storyPattern/object/import.vm" ) $tmpName = $source ; #if ( $typeCast ) // ensure correct type and really bound #if ( $optional && !$toMany ) if ( $tmpName instanceof $type ) { $name = ($type) $tmpName ; } #else JavaSDM.ensure ( $tmpName instanceof $type ) ; $name = ($type) $tmpName ; #end #elseif ( !$optional ) #parse( "storyPattern/object/bound.vm" ) #end $children #if ( $targetSet ) ${collectionName}.add ($targetName); #else fujaba__Success = true ; #end } catch ( JavaSDMException fujaba__InternalException ) { } #if ( $targetOptional ) if (!fujaba_Success) { fujaba_Success = true ; $targetName = null ; } #end …und jetzt so!

Christian, Leif, Carsten, AlbertCodeGen2 – Template- und Modellbasierte Codegenerierung 6 Konzept In Fujaba spezifiziert (endlich Bootstrapping!) Velocity templates

Christian, Leif, Carsten, AlbertCodeGen2 – Template- und Modellbasierte Codegenerierung 7 Konzept

Christian, Leif, Carsten, AlbertCodeGen2 – Template- und Modellbasierte Codegenerierung 8 Beispiel

Christian, Leif, Carsten, AlbertCodeGen2 – Template- und Modellbasierte Codegenerierung 9 Tokens

Christian, Leif, Carsten, AlbertCodeGen2 – Template- und Modellbasierte Codegenerierung 10 Tokens

Christian, Leif, Carsten, AlbertCodeGen2 – Template- und Modellbasierte Codegenerierung 11 CodeWriting Velocity Templates Handler für Tokens – Chain of responsibility Erweiterbar – Einzelne Templates ersetzen – Templatesatz austauschen (z.B. Sprachen) – Tokens einführen (neue Sprachelemente) – Handler ersetzen (Templates wrappen etc.)

Christian, Leif, Carsten, AlbertCodeGen2 – Template- und Modellbasierte Codegenerierung 12 Fazit CodeGen2 Vorteile – Keine Sprachabhängigkeit im Metamodell – Bootstrapping – Neue Sprachen leicht einzuführen – Viel weniger Code / Templates Nachteile – Noch nicht ganz fertig – Evtl. eingeschränkte Wartbarkeit bei Kopien von Templates