diff --git a/src/android/Fridge/res/drawable/icon.png b/src/android/Fridge/res/drawable/icon.png new file mode 100644 index 000000000..a07c69fa5 Binary files /dev/null and b/src/android/Fridge/res/drawable/icon.png differ diff --git a/src/android/Fridge/res/layout/main.xml b/src/android/Fridge/res/layout/main.xml new file mode 100644 index 000000000..bd3487ca2 --- /dev/null +++ b/src/android/Fridge/res/layout/main.xml @@ -0,0 +1,23 @@ + + + + + + + + diff --git a/src/android/Fridge/res/values/strings.xml b/src/android/Fridge/res/values/strings.xml new file mode 100644 index 000000000..662c708c1 --- /dev/null +++ b/src/android/Fridge/res/values/strings.xml @@ -0,0 +1,5 @@ + + + Hello World, FridgeMagnets! + Fridge Magnets + diff --git a/src/android/Fridge/src/org/grammaticalframework/fridge/FridgeMagnets.java b/src/android/Fridge/src/org/grammaticalframework/fridge/FridgeMagnets.java new file mode 100644 index 000000000..c30bee136 --- /dev/null +++ b/src/android/Fridge/src/org/grammaticalframework/fridge/FridgeMagnets.java @@ -0,0 +1,58 @@ +package org.grammaticalframework.fridge; + +import java.util.Arrays; + +import android.os.*; +import android.app.*; +import android.content.Context; +import android.view.*; +import android.widget.*; +import android.graphics.*; +import se.fnord.android.layout.*; + +public class FridgeMagnets extends Activity { + /** Called when the activity is first created. */ + String[] words = {"hello","buy","I","you","have","please","where", + "how","go","Gothenburg","London","rakia","wine", + "whisky","man","woman","boy","girl"}; + + @Override + public void onCreate(Bundle savedInstanceState) { + super.onCreate(savedInstanceState); + setContentView(R.layout.main); + + Arrays.sort(words); + + PredicateLayout l = (PredicateLayout) findViewById(R.id.magnets_bag); + for (int i = 0; i < words.length; i++) { + Magnet t = new Magnet(this); + t.setText(words[i]); + l.addView(t, new PredicateLayout.LayoutParams(3, 3)); + } + } + + private static class Magnet extends TextView { + public Magnet(Context context) { + super(context); + setTextColor(Color.BLACK); + setBackgroundColor(Color.WHITE); + setSingleLine(true); + setPadding(2, 2, 2, 2); + setClickable(true); + } + + @Override + public boolean onTouchEvent(MotionEvent event) { + if (event.getAction() == MotionEvent.ACTION_UP) { + Activity activity = (Activity) getContext(); + PredicateLayout l = (PredicateLayout) activity.findViewById(R.id.magnets_sentence); + + Magnet t = new Magnet(activity); + t.setText(getText()); + l.addView(t, new PredicateLayout.LayoutParams(3, 3)); + } + + return super.onTouchEvent(event); + } + } +} \ No newline at end of file diff --git a/src/android/Fridge/src/se/fnord/android/layout/PredicateLayout.java b/src/android/Fridge/src/se/fnord/android/layout/PredicateLayout.java new file mode 100644 index 000000000..cd528a9d1 --- /dev/null +++ b/src/android/Fridge/src/se/fnord/android/layout/PredicateLayout.java @@ -0,0 +1,124 @@ +package se.fnord.android.layout; + +import android.content.Context; +import android.util.AttributeSet; +import android.view.View; +import android.view.ViewGroup; + +/** + * ViewGroup that arranges child views in a similar way to text, with them laid + * out one line at a time and "wrapping" to the next line as needed. + * + * Code licensed under CC-by-SA + * + * @author Henrik Gustafsson + * @see http://stackoverflow.com/questions/549451/line-breaking-widget-layout-for-android + * @license http://creativecommons.org/licenses/by-sa/2.5/ + * + */ +public class PredicateLayout extends ViewGroup { + + private int line_height; + + public static class LayoutParams extends ViewGroup.LayoutParams { + public final int horizontal_spacing; + public final int vertical_spacing; + + /** + * @param horizontal_spacing Pixels between items, horizontally + * @param vertical_spacing Pixels between items, vertically + */ + public LayoutParams(int horizontal_spacing, int vertical_spacing) { + super(0, 0); + this.horizontal_spacing = horizontal_spacing; + this.vertical_spacing = vertical_spacing; + } + } + + public PredicateLayout(Context context) { + super(context); + } + + public PredicateLayout(Context context, AttributeSet attrs){ + super(context, attrs); + } + + @Override + protected void onMeasure(int widthMeasureSpec, int heightMeasureSpec) { + assert(MeasureSpec.getMode(widthMeasureSpec) != MeasureSpec.UNSPECIFIED); + + final int width = MeasureSpec.getSize(widthMeasureSpec) - getPaddingLeft() - getPaddingRight(); + int height = MeasureSpec.getSize(heightMeasureSpec) - getPaddingTop() - getPaddingBottom(); + final int count = getChildCount(); + int line_height = 0; + + int xpos = getPaddingLeft(); + int ypos = getPaddingTop(); + + for (int i = 0; i < count; i++) { + final View child = getChildAt(i); + if (child.getVisibility() != GONE) { + final LayoutParams lp = (LayoutParams) child.getLayoutParams(); + child.measure( + MeasureSpec.makeMeasureSpec(width, MeasureSpec.AT_MOST), + MeasureSpec.makeMeasureSpec(height, MeasureSpec.AT_MOST)); + + final int childw = child.getMeasuredWidth(); + line_height = Math.max(line_height, child.getMeasuredHeight() + lp.vertical_spacing); + + if (xpos + childw > width) { + xpos = getPaddingLeft(); + ypos += line_height; + } + + xpos += childw + lp.horizontal_spacing; + } + } + this.line_height = line_height; + + if (MeasureSpec.getMode(heightMeasureSpec) == MeasureSpec.UNSPECIFIED){ + height = ypos + line_height; + + } else if (MeasureSpec.getMode(heightMeasureSpec) == MeasureSpec.AT_MOST){ + if (ypos + line_height < height){ + height = ypos + line_height; + } + } + setMeasuredDimension(width, height); + } + + @Override + protected ViewGroup.LayoutParams generateDefaultLayoutParams() { + return new LayoutParams(1, 1); // default of 1px spacing + } + + @Override + protected boolean checkLayoutParams(ViewGroup.LayoutParams p) { + if (p instanceof LayoutParams) + return true; + return false; + } + + @Override + protected void onLayout(boolean changed, int l, int t, int r, int b) { + final int count = getChildCount(); + final int width = r - l; + int xpos = getPaddingLeft(); + int ypos = getPaddingTop(); + + for (int i = 0; i < count; i++) { + final View child = getChildAt(i); + if (child.getVisibility() != GONE) { + final int childw = child.getMeasuredWidth(); + final int childh = child.getMeasuredHeight(); + final LayoutParams lp = (LayoutParams) child.getLayoutParams(); + if (xpos + childw > width) { + xpos = getPaddingLeft(); + ypos += line_height; + } + child.layout(xpos, ypos, xpos + childw, ypos + childh); + xpos += childw + lp.horizontal_spacing; + } + } + } +} \ No newline at end of file