Examples of Effect

Examples of edu.cmu.cs.fusion.annot.Relation.Effect

162
163
164
165
166
167
168
169
170
171
172
  private RelationshipDelta processRelationshipResults(XQResultSequence results, TypeHierarchy types) throws JavaModelException, XQException, FusionTypeCheckException {
    RelationshipDelta delta = new RelationshipDelta();
    while (results.next()) {
      Element relElement = (Element) results.getObject();
      String relName = relElement.getAttribute("name");
      Effect effect = Effect.valueOf(relElement.getAttribute("effect"));
      if (effect == null || effect == Effect.TEST)
        throw new FusionTypeCheckException(effect);
     
      relName = Utilities.resolveType(context, relName);
      Relation relType = relEnv.findRelation(relName);
View Full Code Here

Examples of edu.cmu.cs.fusion.constraint.Effect

29
30
31
32
33
34
35
36
37
38
39
40
41
    utils = new TestUtils();
  }

  @Test
  public void testFreeVarsNormal() {
    Effect eff = RelEffect.createAddEffect(utils.getRelation(0), new SpecVar[] {utils.getVar(0), utils.getVar(1)});
    String[] types = utils.getRelation(0).getFullyQualifiedTypes();
    FreeVars fv = eff.getFreeVariables();
   
    assertEquals(types[0], fv.getType(utils.getVar(0)));
    assertEquals(types[1], fv.getType(utils.getVar(1)));

    assertEquals(2, fv.size());
View Full Code Here

Examples of javafx.scene.effect.Effect

464
465
466
467
468
469
470
471
472
473
474
   */
  protected Shape createBackground(final double outerRimRadius, final double radius,
      final ObjectProperty<Paint> centerGaugeFillProperty,
      final ObjectProperty<Paint> rimStrokeFillProperty,
      final ObjectProperty<Color> backgroundEffectFillProperty) {
    final Effect effect = createBackgroundEffect(backgroundEffectFillProperty);
    if (isCircular()) {
      final Circle ccg = new Circle(centerX, centerY, radius);
      ccg.setCache(true);
      ccg.setCacheHint(CacheHint.QUALITY);
      ccg.setEffect(effect);
View Full Code Here

Examples of javafx.scene.effect.Effect

156
157
158
159
160
161
162
163
164
165
166
      @Override
      protected Task<T> createTask() {
        return progressTask;
      }
    };
    final Effect origEffect = parent.getScene().getRoot().getEffect();
    progressTask.stateProperty().addListener(new ChangeListener<State>() {
      @Override
      public void changed(ObservableValue<? extends State> observable, State oldValue, State newValue) {
        if (newValue == State.RUNNING && !alert.isShowing()) {
          Platform.runLater(new Runnable() {
View Full Code Here

Examples of lineage2.gameserver.model.Effect

54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
    Creature character = env.character;
    if (character == null)
    {
      return false;
    }
    Effect effect = character.getEffectList().getEffectByType(_effectType);
    if (effect == null)
    {
      return false;
    }
    if ((_level == -1) || (effect.getSkill().getLevel() >= _level))
    {
      return true;
    }
    return false;
  }
View Full Code Here

Examples of mage.abilities.effects.Effect

77
78
79
80
81
82
83
84
85
86
        // Any player may play creature cards with converted mana cost 3 or less without paying their mana cost
        Ability ability = new SimpleStaticAbility(Zone.BATTLEFIELD, new AlurenRuleEffect());
        // and as though they had flash.
        // TODO: This as thought effect may only be used if the creature is cast by the aluren effect
        Effect effect = new CastAsThoughItHadFlashEffect(Duration.WhileOnBattlefield, filter, true);
        effect.setText("and as though they had flash");
        ability.addEffect(effect);
        this.addAbility(ability);
    }
View Full Code Here

Examples of mage.abilities.effects.Effect

51
52
53
54
55
56
57
58
59
60
61
    }

    @Override
    public void addEffect(Effect effect) {
        if (!getEffects().isEmpty()) {
            Effect entersEffect = this.getEffects().get(0);
            if (entersEffect instanceof EntersBattlefieldEffect) {
                ((EntersBattlefieldEffect) entersEffect).addEffect(effect);
                return;
            }
        }
View Full Code Here

Examples of mage.abilities.effects.Effect

76
77
78
79
80
81
82
83
84
85
86
        // Target opponent loses half his or her life, rounded up.
        this.getSpellAbility().addTarget(new TargetOpponent());
        this.getSpellAbility().addEffect(new BloodTributeLoseLifeEffect());
        
        // If Blood Tribute was kicked, you gain life equal to the life lost this way.
        Effect effect = new ConditionalOneShotEffect(
                new BloodTributeGainLifeEffect(),
                KickedCondition.getInstance(),
                "If Blood Tribute was kicked, you gain life equal to the life lost this way");
        this.getSpellAbility().addEffect(effect);
    }
View Full Code Here

Examples of mage.abilities.effects.Effect

53
54
55
56
57
58
59
60
61
62
63
            Spell spell = (Spell) stackObject;
            spell = spell.copySpell();
            spell.setCopiedSpell(true);
            spell.setControllerId(source.getControllerId());
            // Remove Epic effect from the spell
            Effect epicEffect = null;
            for (Effect effect : spell.getSpellAbility().getEffects()) {
                if (effect instanceof EpicEffect) {
                    epicEffect = effect;
                    break;
                }
View Full Code Here

Examples of mage.abilities.effects.Effect

93
94
95
96
97
98
99
100
101
102
103
104
105
            if (target.canChoose(source.getControllerId(), game)) {
                player.choose(Outcome.Copy, target, source.getSourceId(), game);
                Permanent tokenToCopy = game.getPermanent(target.getFirstTarget());
                if (tokenToCopy != null) {
                    game.informPlayers("Token selected for populate: " + tokenToCopy.getLogName());
                    Effect effect = new PutTokenOntoBattlefieldCopyTargetEffect();
                    effect.setTargetPointer(new FixedTarget(target.getFirstTarget()));
                    return effect.apply(game, source);
                }
            }
        }
        return false;
    }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.